isabelle: File revisions

doc-src/Locales/Locales/document/root.tex

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

isabelle