Dodaci za preglednik Firefox
  • Proširenja
  • Teme
    • za Firefox
    • Rječnici i jezični paketi
    • Druge stranice preglednika
    • Dodaci za Android
Prijavi se
Pregled za Matisa

Matisa od Korisnik Firefoxa 12498047

This extension allows Isabelle math syntax on GitHub to be appropriately typeset.

EksperimentalnoEksperimentalno
0 (0 reviews)0 (0 reviews)
3 Users3 Users
Za korištenje ovog proširenja trebat ćeš Firefox
Preuzmi Firefox i nabavi proširenje
Preuzmi datoteku

Metapodaci proširenja

Snimke ekrana
Informacije o ovom proširenju
This extension parses Isabelle syntax on GitHub and renders it using MathJax. This is currently a beta version, example available at: https://github.com/isabelle-utp/utp-main/tree/shallow.2016/utp

Changelog:

Version 1.0.6 (Current):
- Improved detection logic of Isabelle repositories by using the GitHub API when the extension cannot safely determine this.

Version 1.0.5:
- Fix for version display.

Version 1.0.4:
- Improved compatibility with Firefox.
- Optimized extension code.
- Fixed \<bar> command.

Version 1.0.3:
- Reduced extension size down to 2.3MiB (size unzipped) by using closure and minimizing the MathJax library.
- Updated parser's rules to deal with nested subscripts and escaping of underscores.
- Optimized extension loading logic to be portable.

Version 1.0.2:
- Added missing file.

Version 1.0.1:
- Initial Chrome web store release.
Rated 0 by 0 reviewers
Prijavi se i ocijeni ovo proširenje
Još nema ocjena

Ocjena je spremljena

5
0
4
0
3
0
2
0
1
0
Još nema recenzija
Dozvole i podaciSaznaj više

Potrebne dozvole:

  • Pristupiti tvojim podacima za github.com
  • Pristupiti tvojim podacima za bitbucket.org
Daljnje informacije
Verzija
1.1.1resigned1
Veličina
1,41 MB
Zadnje aktualiziranje
prije godinu (25. tra. 2024)
Povezane kategorije
  • Izgled
  • Ostalo
Licenca
MIT licenca
Povijest verzija
  • Pogledaj sve verzije
Dodaj u zbirku
Prijavi ovaj dodatak
Daljnja proširenja od Korisnik Firefoxa 12498047
  • Još nema ocjena

  • Još nema ocjena

  • Još nema ocjena

  • Još nema ocjena

  • Još nema ocjena

  • Još nema ocjena

Idi na početnu stranicu Mozille

Dodaci

  • Informacije
  • Blog za Firefox dodatke
  • Radionica za proširenja
  • Centar za programere
  • Pravila za programere
  • Blog zajednice
  • Forum
  • Prijavi grešku
  • Priručnik za recenziranje

Preglednici

  • Desktop
  • Mobile
  • Enterprise

Proizvodi

  • Browsers
  • VPN
  • Relay
  • Monitor
  • Pocket
  • Bluesky (@firefox.com)
  • Instagram (Firefox)
  • YouTube (firefoxchannel)
  • Privatnost
  • Kolačići
  • Pravne informacije

Osim gdje je drugačije navedeno, sadržaj ove stranice licenciran je pod licencom Creative Commons Imenovanje dijeli pod istim uvjetima verzija 3.0 ili novijoj.