doc-src/IsarRef/isar-ref.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-08-19 wenzelm 2000-08-19 tuned \isastyle;
2000-08-14 wenzelm 2000-08-14 some more refs;
2000-06-29 wenzelm 2000-06-29 tuned rail setup; some isabelle symbols;
2000-05-21 wenzelm 2000-05-21 replaced {{ }} by { };
2000-05-08 wenzelm 2000-05-08 improved indexing;
2000-03-27 wenzelm 2000-03-27 tuned;
2000-03-27 wenzelm 2000-03-27 rail token vs. terminal;
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-18 wenzelm 2000-03-18 tuned;
2000-03-17 wenzelm 2000-03-17 tuned;
1999-10-31 wenzelm 1999-10-31 tuned;
1999-10-30 wenzelm 1999-10-30 tuned;
1999-10-29 wenzelm 1999-10-29 improved;
1999-10-21 wenzelm 1999-10-21 updated;
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-08-24 wenzelm 1999-08-24 draft release;
1999-08-19 wenzelm 1999-08-19 more;
1999-08-03 wenzelm 1999-08-03 tuned; much more material;
1999-07-30 wenzelm 1999-07-30 more;
1999-07-30 wenzelm 1999-07-30 more stuff;
1999-07-20 wenzelm 1999-07-20 checkpoint;
1999-07-19 wenzelm 1999-07-19 skeleton only;