Les autres éditeurs

Quels sont les éditeurs utilisables sous les autres systèmes d'exploitation, ou disponibles sous plusieurs systèmes?

$\Reponse$ Eddi4TeX, sous MS-DOS ou OS/2, est un éditeur spécifiquement conçu pour \TeX, il offre la couleur, vérifie la syntaxe. Il est disponible sur https://www.ctan.org/{systems/msdos/e4t/} ou dans https://www.ctan.org/systems/os2/epmtex/.

$\Reponse$ GNU Emacs avec son module AUCTeX peut également être utilisé sous MS-DOS ou OS/2.

$\Reponse$ JED est un clone multiplate-forme proche d'emacs. JED est en fait un Emacs allégé qui offre des facilités dans l'édition de fichier (La)TeX. Il tourne sous Unix, VMS, MS-DOS et Windows. Il est disponible à http://space.mit.edu/~davis/ .

$\Reponse$ D'autres éditeurs sous MS-DOS, MacOS et Windows sont présentés dans http://www.jumbo.com/.

$\Reponse$ Très récemment, des plugins pour l'environnement de développement Eclipse ont été écris. Certains proposent des gestions de projet évolués. Je ne sais pas s'ils sont compatibles avec la dernière version d'Eclipse (3.01 actuellement.) Voici les urls:

Ces programmes utilisent java et sont donc utilisables partout où il y a une jvm disponible.

$\Reponse$ Il existe aussi une extension à NetBeans qui permet d'éditer du \LaTeX: http://freshmeat.net/projects/nblatex/ . Ce programme utilise java et est donc utilisable partout où il y a une jvm disponible.

$\Reponse$ Je viens de trouver JasTex: voici sa description (reprise du site web: http://www.framasoft.net/article3108.html .

« JasTeX est une application graphique WYSIWYG (What You See Is What You Get) programmée dans le langage Java. JasTeX a été conçu dans le but de pouvoir créer facilement des graphes et des automates complexes pour les documents LaTeX. Entre autre il s'adresse plus spécialement aux personnes qui souhaitent intégrer dans leur document LaTeX des graphes et des automates.»

$\Reponse$ Il existe un autre projet en cours pour la gestion de projets \LaTeX fonctionnant avec l'IDE Netbeans dont l'url est: http://www.netbeans.org/files/documents/130/40/installation.html?JServSessionIdservlets=z5ajz7xn82 .

distributions/editeurs/editeurs_multiplateformes.txt · Dernière modification: 2018/12/09 12:15 par jejust
CC Attribution-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0