Matisa dans Chrome avec OffiDocs
Extension de la boutique en ligne Matisa Chrome
DESCRIPTION:
Exécutez l'extension de la boutique en ligne Chrome Matisa à l'aide d'OffiDocs Chromium en ligne.
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.
Journal des modifications 2016/utp : version 1.
0.
6 (actuel) : - 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 d'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é)
Extension Web Matisa intégrée à OffiDocs Chromium en ligne