Matisa no Chrome com OffiDocs
Extensão da loja virtual Matisa Chrome
DESCRIÇÃO:
Execute a extensão Matisa da loja online do Chrome usando OffiDocs Chromium online.
Esta extensão analisa a sintaxe Isabelle no GitHub e a renderiza usando MathJax.Atualmente esta é uma versão beta, exemplo disponível em: https://github.
com/isabelle-utp/utp-main/tree/shallow.
Log de alterações 2016/utp: Versão 1.
0.
6 (Atual): - Lógica de detecção aprimorada de repositórios Isabelle usando a API GitHub quando a extensão não pode determinar isso com segurança.
Versão 1.
0.
5: - Correção para exibição de versão.
Versão 1.
0.
4: - Melhor compatibilidade com Firefox.
- Código de extensão otimizado.
- Fixo \ comando.
Versão 1.
0.
3: - Tamanho de extensão reduzido para 2.
3MiB (tamanho descompactado) usando fechamento e minimizando a biblioteca MathJax.
- Regras do analisador atualizadas para lidar com subscritos aninhados e escape de sublinhados.
- Lógica de carregamento de extensão otimizada para ser portátil.
Versão 1.
0.
2: - Adicionado arquivo ausente.
Versão 1.
0.
1: - Lançamento inicial da loja virtual do Chrome.
Informação adicional:
- Oferecido por pfribeiro
- Avaliação média: 5 estrelas (adorei)
Extensão web Matisa integrada ao OffiDocs Chromium online