doc-src/TutorialI/preface.tex
2012-04-28 wenzelm 2012-04-28 some updates concerning current Proof General 4.x, which lacks X-Symbol mode of 3.x; removed historic note about Poly/ML vs. SML/NJ;
2005-06-06 nipkow 2005-06-06 updating...
2003-12-15 paulson 2003-12-15 updated references to the now-pornographic proofgeneral.org
2003-09-01 paulson 2003-09-01 Corrections due to John Matthews
2002-05-13 wenzelm 2002-05-13 updated X-Symbol URL;
2002-01-21 nipkow 2002-01-21 *** empty log message ***
2002-01-18 paulson 2002-01-18 OOPS
2002-01-18 paulson 2002-01-18 tweaks
2002-01-08 wenzelm 2002-01-08 \part{Elementary Techniques};
2002-01-06 wenzelm 2002-01-06 tuned;
2002-01-05 wenzelm 2002-01-05 mention X-Symbol; \index{Aspinall, David};
2002-01-04 wenzelm 2002-01-04 document preparation overview;
2001-12-20 paulson 2001-12-20 new hfootref macro for Web links
2001-12-19 nipkow 2001-12-19 *** empty log message ***
2001-12-18 paulson 2001-12-18 additional material
2001-12-13 nipkow 2001-12-13 *** empty log message ***
2001-11-29 nipkow 2001-11-29 *** empty log message ***
2001-09-03 nipkow 2001-09-03 *** empty log message ***
2001-07-24 paulson 2001-07-24 tweaks and indexing
2001-07-11 paulson 2001-07-11 new preface