doc-src/isar.sty
Thu, 21 Oct 1999 15:57:26 +0200 wenzelm added \ISS;
Tue, 07 Sep 1999 18:10:03 +0200 wenzelm \indexisarmeth: "Methods";
Sat, 04 Sep 1999 20:55:52 +0200 wenzelm added \indexisarvar;
Fri, 03 Sep 1999 16:10:39 +0200 wenzelm permuted index;
Mon, 30 Aug 1999 14:07:48 +0200 wenzelm tuned;
Tue, 24 Aug 1999 15:41:19 +0200 wenzelm tuned;
Mon, 23 Aug 1999 15:27:27 +0200 wenzelm tuned;
less more (0) -10 -7 tip