doc-src/isar.sty
Thu, 30 Mar 2000 15:11:48 +0200 wenzelm added \MOREOVER, \ULTIMATELY;
Fri, 17 Mar 2000 22:49:13 +0100 wenzelm fixed \OBTAIN;
Tue, 14 Mar 2000 11:27:38 +0100 wenzelm added \NEXT;
Wed, 08 Mar 2000 23:37:25 +0100 wenzelm added \CASE, \OBTAIN, \SORRY, \OOPS;
Fri, 29 Oct 1999 19:00:51 +0200 wenzelm tuned;
Fri, 29 Oct 1999 12:48:50 +0200 wenzelm tuned;
Thu, 21 Oct 1999 17:42:42 +0200 wenzelm removed \BG, \EN;
less more (0) -10 -7 tip