doc-src/Locales/Locales/document/root.tex
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2010-11-07 wenzelm 2010-11-07 tweaked pdf setup to allow modification of \pdfminorversion;
2009-11-21 ballarin 2009-11-21 Use less whitespace in documentation.
2009-11-21 ballarin 2009-11-21 Publication details and minor correction of the text.
2009-10-17 ballarin 2009-10-17 Finished revisions of locales tutorial.
2009-10-15 ballarin 2009-10-15 Save current state of locales tutorial.
2009-03-28 ballarin 2009-03-28 Front matter updated.
2009-01-19 ballarin 2009-01-19 Fixed tutorial to compile with new locales; grammar of new locale commands.
2008-06-04 wenzelm 2008-06-04 tikz: change to pgfsys-dvi.def for plain dvi output;
2008-06-04 wenzelm 2008-06-04 work within *this* directory;
2008-06-03 wenzelm 2008-06-03 use isabelle style files from Doc/ -- not the generated ones (which are not present in the repository anyway);
2008-06-03 ballarin 2008-06-03 New version covering interpretation.
2008-05-15 wenzelm 2008-05-15 use Isabelle sty files from Doc/;
2004-04-16 ballarin 2004-04-16 Added Locales Tutorial.