20
Gummi
Gummi est un éditeur LaTeX léger pour la plate-forme Linux / GTK +, publié en tant que logiciel open-source gratuit.
- Gratuite
- Linux
Gummi est un éditeur LaTeX léger pour la plate-forme Linux / GTK +, publié en tant que logiciel open-source gratuit.Il est conçu dans un esprit de simplicité et comprend des fonctionnalités qui permettront à un utilisateur novice de LaTeX de s'habituer rapidement à ce langage de balisage.Il s'agit d'un projet relativement jeune, mais en cours de développement.Gummi essaie de se conformer aux directives de l'interface humaine de GNOME mais fonctionnera sur n'importe quel environnement de bureau Linux à condition que la boîte à outils GTK + soit disponible.
gummi
Site Internet:
http://gummi.midnightcoding.org/traits
Les catégories
Alternatives à Gummi pour Linux
95
72
53
7
6
TexMaths
TexMaths est un addon conçu pour fournir un support LaTeX dans LibreOffice.Les équations LaTeX peuvent être insérées sous forme d'images (formats SVG ou PNG) et le code LaTeX est enregistré dans l'attribut image pour une édition ultérieure.
- Gratuite
- Windows
- Mac
- Linux
- LibreOffice
1
JLatexEditor
JLatexEditor est un éditeur LaTeX open source multiplateforme.L'éditeur est en constante évolution.
1
LaTeXing
LaTeXing est un plugin pour l'éditeur de texte populaire et rapide ...
- Payante
- Sublime Text
- Windows
- Mac
- Linux
1