Matisa dans Chrome avec OffiDocs

DESCRIPTION

Cette extension analyse la syntaxe Isabelle sur GitHub et la restitue à l'aide de MathJax.

Il s'agit actuellement d'une version bêta, exemple disponible sur : https://github.

com/isabelle-utp/utp-main/tree/shallow.

2016/utp Changelog : Version 1.0.6 (actuelle) : - Amélioration de la logique de détection des référentiels Isabelle en utilisant l'API GitHub lorsque l'extension ne peut pas le déterminer en toute sécurité.

Version 1.0.5 : - Correction de l'affichage de la version.

Version 1.0.4 : - Compatibilité améliorée avec Firefox.

- Code d'extension optimisé.

- Fixé \ commande.

Version 1.0.3 : - Taille de l'extension réduite à 2.3 Mo (taille décompressée) en utilisant la fermeture et en minimisant la bibliothèque MathJax.

- Mise à jour des règles de l'analyseur pour gérer les indices imbriqués et l'échappement des traits de soulignement.

- Logique de chargement d'extension optimisée pour être portable.

Version 1.0.2 : - Ajout du fichier manquant.

Version 1.0.1 : - Version initiale du Chrome Web Store.

Informations supplémentaires:

- Offert par pfribeiro
- Note moyenne : 5 étoiles (j'ai adoré)

Toile Matisa extension intégré avec les OffiDocs Chromium en ligne