lib/texinputs/isabelle.sty
Sat, 30 Sep 2000 12:27:57 +0200 wenzelm isapar: \medskip;
Thu, 21 Sep 2000 18:33:48 +0200 wenzelm improved \isachartilde for non-tt styles;
Mon, 18 Sep 2000 23:43:11 +0200 wenzelm added plain "tt" style;
Fri, 15 Sep 2000 16:30:16 +0200 wenzelm fixed "sl" style;
Mon, 11 Sep 2000 17:34:42 +0200 wenzelm added \isabellecontext;
Sun, 03 Sep 2000 20:01:27 +0200 wenzelm GPLed;
less more (0) -30 -10 -6 tip