doc-src/IsarRef/isar-ref.tex
2002-03-08 wenzelm tuned;
2002-02-12 wenzelm tuned;
2002-01-03 wenzelm next round of updates;
2002-01-02 wenzelm first stage of major update;
2001-02-12 wenzelm \<subseteq> syntax for classes/classrel/axclass/instance;
2001-01-10 wenzelm tuned;
2000-12-16 wenzelm \isasymequiv;
2000-12-11 wenzelm harpoons;
2000-10-17 wenzelm tuned;
2000-10-12 wenzelm tuned syms;
2000-10-06 wenzelm tuned;
2000-08-28 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
2000-08-19 wenzelm tuned \isastyle;
2000-08-14 wenzelm some more refs;
2000-06-29 wenzelm tuned rail setup;
2000-05-21 wenzelm replaced {{ }} by { };
2000-05-08 wenzelm improved indexing;
2000-03-27 wenzelm tuned;
2000-03-27 wenzelm rail token vs. terminal;
2000-03-21 wenzelm tuned;
2000-03-18 wenzelm tuned;
2000-03-17 wenzelm tuned;
1999-10-31 wenzelm tuned;
1999-10-30 wenzelm tuned;
1999-10-29 wenzelm improved;
1999-10-21 wenzelm updated;
1999-10-12 wenzelm a4paper;
1999-09-09 wenzelm fixed url;
1999-09-07 wenzelm url;
1999-09-04 wenzelm updated;
less more (0) -30 tip