doc-src/Locales/Makefile
2008-06-04 wenzelm 2008-06-04 removed TEXPATH, just chdir to Locales/document;
2008-06-03 ballarin 2008-06-03 New version covering interpretation.
2008-05-15 wenzelm 2008-05-15 use Isabelle sty files from Doc/;
2005-08-19 wenzelm 2005-08-19 tuned arrangement of generated stuff;
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.