jPicEdt Code

<2013-05-11> Ajout clef installer.shortcut-count.
<2013-05-01> Ajout clef INSTALL_PKEY_SHORTCUT_COUNT.

<2013-05-11> (Install) Mise à jour javadocs.

<2013-04-13> Correction javadoc

<2013-04-13> mise à jour bannière.

<2013-04-13> Mis à jour droit d'auteur.

<2013-04-13> Correction javadoc. Supression blancs fin de ligne.

<2013-04-13> **Ajout**

* jpicedt.el (jpe-de-xml-ize-region, jpe-xml-ize-region): échappe
le cas d'un texte contenant `%</text>'
(jpe-to-latex): Ne détruit pas ce qui se trouve après `%%User Data'.
(jpe-to-latex): Relit les variables de fichier, et fait de
jpe-current-format une variable locale à ce tampon, plutôt qu'une
variable local en tout tampon.

Ajout jpicedt.el

<2013-04-07> **Ajout**