Outils pour utilisateurs
td_histoire_numerique:jedit
Ceci est une ancienne révision du document !
Introduction
- jEdit est un éditeur de texte utilisé par les programmeurs.
- Il dispose de plugins qui permettent de travailler avec des textes encodés en XML
- Il nous sera donc très utile pour encoder des textes selon le standard de la Text encoding initiative
Installation
td_histoire_numerique/jedit.1411717291.txt.gz · Dernière modification: 2014/10/29 12:03 (modification externe)
