doc-src/TutorialI/tutorial.sty
2005-06-22 nipkow 2005-06-22 *** empty log message ***
2005-05-26 paulson 2005-05-26 Narrower version of the Proof General's head; removal of the alternative icon and environment
2005-05-25 paulson 2005-05-25 new environments for Proof General notes
2004-12-02 nipkow 2004-12-02 *** empty log message ***
2004-02-19 paulson 2004-02-19 new numerics section using type classes
2002-05-07 nipkow 2002-05-07 *** empty log message ***
2002-01-05 wenzelm 2002-01-05 \newcommand{\isasymignore}{}, so we may use \<ignore> to disambiguate duplicate syntax declarations for demonstration purposes;
2001-07-26 paulson 2001-07-26 additional revisions to chapters 1, 2
2001-07-26 paulson 2001-07-26 revisions and indexing
2001-07-17 paulson 2001-07-17 tidying the index
2001-07-13 paulson 2001-07-13 fixed bad error in tdxbold; also removed default indexing in \\rulename
2001-07-11 paulson 2001-07-11 new macro file for the tutorial