doc-src/isar.sty
2001-01-10 wenzelm 2001-01-10 tuned \DOT, \DDOT;
2000-10-25 wenzelm 2000-10-25 added \isarantiq;
2000-10-17 wenzelm 2000-10-17 improved;
2000-10-15 wenzelm 2000-10-15 more elements;
2000-06-29 wenzelm 2000-06-29 added \indexisarant;
2000-05-28 wenzelm 2000-05-28 \newcommand{\indexisarcase};
2000-05-21 wenzelm 2000-05-21 improved \BG, \EN;
2000-03-30 wenzelm 2000-03-30 added \MOREOVER, \ULTIMATELY;
2000-03-17 wenzelm 2000-03-17 fixed \OBTAIN;
2000-03-14 wenzelm 2000-03-14 added \NEXT;
2000-03-08 wenzelm 2000-03-08 added \CASE, \OBTAIN, \SORRY, \OOPS; removed \SUFF;
1999-10-29 wenzelm 1999-10-29 tuned;
1999-10-29 wenzelm 1999-10-29 tuned;
1999-10-21 wenzelm 1999-10-21 removed \BG, \EN;
1999-10-21 wenzelm 1999-10-21 added \ISS;
1999-09-07 wenzelm 1999-09-07 \indexisarmeth: "Methods";
1999-09-04 wenzelm 1999-09-04 added \indexisarvar;
1999-09-03 wenzelm 1999-09-03 permuted index;
1999-08-30 wenzelm 1999-08-30 tuned;
1999-08-24 wenzelm 1999-08-24 tuned;
1999-08-23 wenzelm 1999-08-23 tuned;
1999-08-22 wenzelm 1999-08-22 \indexisarreg;
1999-08-04 wenzelm 1999-08-04 improved \NOTE; added \BYY;
1999-08-03 wenzelm 1999-08-03 tuned;
1999-07-30 wenzelm 1999-07-30 Isabelle/Isar macros;
1999-07-20 wenzelm 1999-07-20 checkpoint;