jPicEdt Code

<2010-06-11> Ajout actions et états pour la gestion des zone convexes.

<2010-06-11> (ActionRegistry::ActionRegistry) Ajout actions pour la gestion des zone convexes.
<2010-05-18> Supprime l'écho comme quoi on doit mettre à jour manuellement les tailles de fichier dans install.props.ant. Ce n'est plus nécessaire.

<2010-06-12> (alt) Correction typo.
<2010-06-04> (TikzFormatter::draw) Ajout d'une javadoc

<2010-06-12> Lister explicitement les imports de jpicedt.graphic.toolkit.
<2010-06-05> Ajout message pour zone convexe.
<2010-06-05> Ajout message pour zone convexe.
<2010-06-05> Ajout message pour zone convexe.
<2010-06-05> Ajout message pour zone convexe.
<2010-06-05> Ajout message pour zone convexe.
<2010-06-04> (ActionRegistry::addAction) Correction javadoc
<2010-05-18> Complète la traduction en français

<2010-06-12> changements éditoriaux mineurs.

<2010-06-12> Ajout bouton pour afficher le panneau d'outils de manipulation de zones convexes.

addition icônes zones convexes

<2010-04-25> (taskdef jarbundler) Update jarbundler from 1.9 to 2.1.0
(top): Add CVS Version key
(target install-jar): exclude emacs backup *~ files from distribution.
(property version & modified): go to 1.5_pre2

<2010-04-25> (getJPicEdtHome) copy from Main branch correction to getJPicEdtHome, for it to be more robust to classpath using either / or \ in MSWindows.

<2010-04-25> (app.version) Change app.version to 1.5