Matisa en Chrome con OffiDocs
Ad
DESCRIPCIÓN
Esta extensión analiza la sintaxis de Isabelle en GitHub y la representa usando MathJax.
Actualmente es una versión beta, ejemplo disponible en: https://github.
es/isabelle-utp/utp-main/tree/shallow.
Registro de cambios de 2016/utp: Versión 1.0.6 (actual): - Lógica de detección mejorada de los repositorios de Isabelle mediante el uso de la API de GitHub cuando la extensión no puede determinar esto de manera segura.
Versión 1.0.5: - Corrección para la visualización de la versión.
Versión 1.0.4: - Compatibilidad mejorada con Firefox.
- Código de extensión optimizado.
- Fijado \ dominio.
Versión 1.0.3: - Tamaño de extensión reducido a 2.3 MiB (tamaño descomprimido) mediante el uso de cierre y minimización de la biblioteca MathJax.
- Reglas del analizador actualizadas para lidiar con subíndices anidados y escape de guiones bajos.
- Lógica de carga de extensiones optimizada para que sea portátil.
Versión 1.0.2: - Se agregó un archivo faltante.
Versión 1.0.1: - Lanzamiento inicial de la tienda web de Chrome.
Información adicional:
- Ofrecido por pfribeiro
- Calificación promedio: 5 estrellas (me encantó)
web matisa extension integrado con OffiDocs Chromium en línea