doc-src/TutorialI/tutorial.tex
2012-06-29 wenzelm 2012-06-29 default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2009-04-20 haftmann 2009-04-20 empty page leads to results on duplex printers as expected
2008-05-15 wenzelm 2008-05-15 use Isabelle sty files from Doc/;
2007-11-01 nipkow 2007-11-01 *** empty log message ***
2005-06-10 nipkow 2005-06-10 tuning
2004-02-19 paulson 2004-02-19 new numerics section using type classes
2003-05-08 kleing 2003-05-08 fix euro error
2002-02-21 wenzelm 2002-02-21 updated title;
2002-01-17 nipkow 2002-01-17 *** empty log message ***
2002-01-08 wenzelm 2002-01-08 \part{Elementary Techniques};
2002-01-05 wenzelm 2002-01-05 use wasysym package;
2001-12-20 wenzelm 2001-12-20 \usepackage{marvosym};
2001-12-13 nipkow 2001-12-13 *** empty log message ***
2001-10-01 wenzelm 2001-10-01 initial setup for chapter on document preparation;
2001-09-04 nipkow 2001-09-04 *** empty log message ***
2001-09-03 nipkow 2001-09-03 *** empty log message ***
2001-08-03 paulson 2001-08-03 numerous stylistic changes and indexing
2001-07-26 paulson 2001-07-26 revisions and indexing
2001-07-24 paulson 2001-07-24 tweaks and indexing
2001-07-17 paulson 2001-07-17 tidying the index
2001-07-13 paulson 2001-07-13 oops
2001-07-12 paulson 2001-07-12 more in the Springer style
2001-07-11 paulson 2001-07-11 separate preface and macro file
2001-06-29 paulson 2001-06-29 the records section
2001-04-10 paulson 2001-04-10 Protocols chapter
2001-03-19 nipkow 2001-03-19 *** empty log message ***
2001-03-15 nipkow 2001-03-15 *** empty log message ***
2001-02-13 wenzelm 2001-02-13 \remarksfalse;
2001-02-05 wenzelm 2001-02-05 disable non-existant chapters
2001-01-25 nipkow 2001-01-25 *** empty log message ***
2001-01-24 nipkow 2001-01-24 *** empty log message ***
2001-01-12 paulson 2001-01-12 lcp's pass over the book, chapters 1-8
2000-12-15 nipkow 2000-12-15 *** empty log message ***
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-12-05 paulson 2000-12-05 new package amsfonts
2000-11-30 nipkow 2000-11-30 *** empty log message ***
2000-11-27 nipkow 2000-11-27 *** empty log message ***
2000-11-27 nipkow 2000-11-27 *** empty log message ***
2000-11-26 nipkow 2000-11-26 *** empty log message ***
2000-11-21 nipkow 2000-11-21 *** empty log message ***
2000-11-06 paulson 2000-11-06 minor modifications for new Springer style
2000-10-26 nipkow 2000-10-26 *** empty log message ***
2000-10-23 nipkow 2000-10-23 *** empty log message ***
2000-10-23 paulson 2000-10-23 addition of Rules, Sets and some macros of lcp
2000-10-19 wenzelm 2000-10-19 tuned \isasymuniqex;
2000-10-17 nipkow 2000-10-17 *** empty log message ***
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-10-09 nipkow 2000-10-09 *** empty log message ***
2000-10-09 nipkow 2000-10-09 *** empty log message ***
2000-10-03 nipkow 2000-10-03 *** empty log message ***
2000-09-14 nipkow 2000-09-14 *** empty log message ***
2000-08-30 nipkow 2000-08-30 *** empty log message ***
2000-08-29 nipkow 2000-08-29 *** empty log message ***
2000-08-29 wenzelm 2000-08-29 improved isabellepar env;
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-08-22 paulson 2000-08-22 removed redundant commands
2000-08-18 nipkow 2000-08-18 *** empty log message ***
2000-06-02 nipkow 2000-06-02 *** empty log message ***
2000-05-09 wenzelm 2000-05-09 use proper version of pdfsetup.sty;