doc-src/IsarRef/intro.tex
2006-12-07 wenzelm 2006-12-07 removed obsolete references to ProofGeneral/isa;
2005-09-21 wenzelm 2005-09-21 updated for Isabelle2005;
2005-05-22 wenzelm 2005-05-22 tuned;
2002-03-07 wenzelm 2002-03-07 tuned;
2002-02-12 wenzelm 2002-02-12 tuned;
2002-01-03 wenzelm 2002-01-03 next round of updates;
2002-01-02 wenzelm 2002-01-02 first stage of major update;
2001-02-03 wenzelm 2001-02-03 updated;
2001-01-29 wenzelm 2001-01-29 added Unix example;
2000-10-06 wenzelm 2000-10-06 tuned;
2000-09-28 wenzelm 2000-09-28 fixed ref;
2000-09-05 wenzelm 2000-09-05 simplified PG/X-Symbol intro;
2000-08-14 wenzelm 2000-08-14 tuned;
2000-07-06 wenzelm 2000-07-06 Isabelle99-1;
2000-07-01 wenzelm 2000-07-01 removed "help";
2000-05-09 wenzelm 2000-05-09 improved X-Symbol stuff;
2000-04-10 wenzelm 2000-04-10 improved document preparation;
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-18 wenzelm 2000-03-18 simplified setup; tuned;
2000-03-17 wenzelm 2000-03-17 simplified Proof General setup;
1999-10-31 wenzelm 1999-10-31 tuned;
1999-10-30 wenzelm 1999-10-30 tuned;
1999-10-21 wenzelm 1999-10-21 updated;
1999-10-16 wenzelm 1999-10-16 PROOFGENERAL_OPTIONS="-u false";
1999-10-12 wenzelm 1999-10-12 a4paper; tuned;
1999-09-09 wenzelm 1999-09-09 fixed url;
1999-09-07 wenzelm 1999-09-07 \url;
1999-09-04 wenzelm 1999-09-04 updated;
1999-09-03 wenzelm 1999-09-03 tuned;
1999-08-24 wenzelm 1999-08-24 draft release;
1999-08-22 wenzelm 1999-08-22 checkpoint;
1999-08-19 wenzelm 1999-08-19 more;
1999-08-04 wenzelm 1999-08-04 tuned;
1999-08-03 wenzelm 1999-08-03 tuned; much more material;
1999-07-19 wenzelm 1999-07-19 skeleton only;