doc-src/Locales/IsaMakefile
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-06-03 ago New version covering interpretation.
2005-08-19 ago tuned arrangement of generated stuff;
2005-08-18 ago usedir: removed option -H;
2005-06-01 ago Locales: new element constrains, parameter renaming with syntax,
2004-04-16 ago Added Locales Tutorial.