lib/texinputs/isabelle.sty
Sun, 21 Oct 2001 19:42:53 +0200 wenzelm \newif\ifisamarkup controls spacing of isabeginpar;
Wed, 26 Sep 2001 22:25:23 +0200 wenzelm bold symbols;
Sun, 21 Jan 2001 13:21:14 +0100 wenzelm \isaindent;
Sun, 07 Jan 2001 21:45:14 +0100 wenzelm removed ID (avoid CVS conflicts with generated versions);
Mon, 04 Dec 2000 23:21:35 +0100 wenzelm added \isabeginpar, \isaendpar;
Wed, 15 Nov 2000 00:39:44 +0100 wenzelm isabellebody: \par at begin/end;
Wed, 08 Nov 2000 23:04:54 +0100 wenzelm tuned isabelle environment;
Wed, 18 Oct 2000 23:39:49 +0200 wenzelm avoid "_" and "^" (more robust);
Sun, 15 Oct 2000 19:50:35 +0200 wenzelm proper symbol markup with \isamath, \isatext;
Wed, 11 Oct 2000 12:52:56 +0200 wenzelm fixed \isastyleminor for "tt": \small;
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;
less more (0) -15 tip