Outils pour utilisateurs
td_histoire_numerique:jedit
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
|
td_histoire_numerique:jedit [2014/11/01 09:39] Francesco Beretta |
td_histoire_numerique:jedit [2014/11/01 09:39] Francesco Beretta [Installation] |
||
|---|---|---|---|
| Ligne 18: | Ligne 18: | ||
| - | * [[http://www.jedit.org|jEdit]] est un éditeur de texte utilisé par les programmeurs. | + | * [[http://www.jedit.org|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 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// | * Il nous sera donc très utile pour encoder des textes selon le standard de la //Text encoding initiative// | ||
td_histoire_numerique/jedit.txt · Dernière modification: 2016/07/07 16:06 par Francesco Beretta
