Outils pour utilisateurs

Outils du site


td_histoire_numerique:jedit

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

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:38]
Francesco Beretta
td_histoire_numerique:jedit [2014/11/01 09:39]
Francesco Beretta
Ligne 1: Ligne 1:
 +====== Paramétrage de jEdit et création d'un projet XML ======
  
 <​html>​ <​html>​
Ligne 9: Ligne 10:
 Retour vers l'​[[td_histoire_numerique:​accueil|accueil]] ​ Retour vers l'​[[td_histoire_numerique:​accueil|accueil]] ​
  
-====== Introduction ====== 
  
  
-  ​* [[http://​www.jedit.org|jEdit]] est un éditeur de texte utilisé par les programmeurs. ​+ 
 +  
 +====== Installation ====== 
 + 
 + 
 + 
 + * [[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//​
  
- 
-====== Installation ====== 
  
 ===== Vérifier si Java est installé sur l'​ordinateur ===== ===== Vérifier si Java est installé sur l'​ordinateur =====
td_histoire_numerique/jedit.txt · Dernière modification: 2016/07/07 16:06 par Francesco Beretta