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