Différences

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

--- td_histoire_numerique:jedit [2014/11/01 09:39] – fberetta
+++ td_histoire_numerique:jedit [2016/07/07 16:06] (Version actuelle) – [Paramétrage de jEdit et création d'un projet XML] fberetta
@@ Ligne 8: / Ligne 8: @@
 </html>
-Retour vers l'[[td_histoire_numerique:accueil|accueil]]
+Retour vers l'[[td_histoire_numerique:annees_precedentes|accueil des années précédentes]]
@@ Ligne 14: / Ligne 14: @@
-====== Installation ======
+===== Installation =====
- * [[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 nous sera donc très utile pour encoder des textes selon le standard de la //Text encoding initiative//
-===== Vérifier si Java est installé sur l'ordinateur =====
+==== Vérifier si Java est installé sur l'ordinateur ====
    * Sous **Windows** chercher 'Invite des commandes' parmi les programmes (fonction recherche)
@@ Ligne 38: / Ligne 38: @@
-===== Installer jEdit =====
+==== Installer jEdit ====
    * Télécharger la [[http://www.jedit.org/index.php?page=download|version stable de jEdit]] (actuellement la jEdit 5.1.0) pour votre système de fonctionnement (version avec installateur)
@@ Ligne 48: / Ligne 48: @@
    * Installer
-==== Problèmes d'installation sous MacOSX ====
+=== Problèmes d'installation sous MacOSX ===
 Sous Mac OS X, téléchargez le fichier .dmg, ouvrez-le, puis copiez le fichier jEdit.app dans votre dossier "Applications".
@@ Ligne 55: / Ligne 55: @@
 \\
 Explication tirée de [[https://www.google.com/intl/fr_ch/earth/outreach/tutorials/jedit.html|cette page]]. Voir également [[http://community.jedit.org/?q=node/view/6039|cette page]].
-===== Installer le plugin XML =====
+==== Installer le plugin XML ====