lib/texinputs/isabelle.sty
Tue, 24 May 2005 14:28:59 +0200 haftmann ML_idf antiquotation
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Thu, 06 May 2004 14:20:13 +0200 wenzelm improved block sup/sub;
Fri, 09 Jan 2004 01:28:24 +0100 kleing set isasep to {} by default
Thu, 08 Jan 2004 08:14:00 +0100 kleing separate thm lists in latex output by \isasep
Mon, 29 Dec 2003 06:07:44 +0100 kleing spanning super and sub scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>
Wed, 15 Oct 2003 07:03:43 +0200 kleing use \<^isub> and \<^isup> in identifiers instead of just \<^sub> (avoid
Mon, 28 Apr 2003 17:52:52 +0200 kleing in \isanewline: \\ -> \par
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;
Sun, 03 Sep 2000 20:01:27 +0200 wenzelm GPLed;
Tue, 29 Aug 2000 20:10:39 +0200 wenzelm underscore: added \mbox to avoid hyphenation;
Tue, 29 Aug 2000 00:53:21 +0200 wenzelm \isakeywordcharunderscore;
Mon, 28 Aug 2000 20:29:19 +0200 wenzelm \newenvironment{isabellebody}: version without trivlist;
Fri, 25 Aug 2000 12:17:09 +0200 paulson added \trivlist...\endtrivlist to the "isabelle" environment
Thu, 24 Aug 2000 00:54:54 +0200 wenzelm disabled trivlist (causes non-descript problems in HOL-Real-HahnBanach);
Wed, 23 Aug 2000 15:24:46 +0200 wenzelm isabelle env: trivlist;
Mon, 21 Aug 2000 18:40:30 +0200 wenzelm added \isastyleminor;
Sat, 19 Aug 2000 12:43:55 +0200 wenzelm added \isachar definitions;
Mon, 08 May 2000 10:51:07 +0200 wenzelm removed \isabelledefaultstyle (use \isabellestyle instead);
Fri, 14 Apr 2000 16:12:46 +0200 wenzelm \newenvironment{isabellequote};
Fri, 14 Apr 2000 15:55:40 +0200 wenzelm global \isa@parindent, \isa@parskip;
Mon, 03 Apr 2000 14:02:40 +0200 wenzelm isapar, isamarkuptext, isamarkuptxt turned into environments;
Fri, 17 Mar 2000 22:53:19 +0100 wenzelm parskip 0pt;
Fri, 17 Mar 2000 17:10:37 +0100 wenzelm \isamarkupheader: \section;
Thu, 16 Mar 2000 00:33:46 +0100 wenzelm tuned;
Wed, 15 Mar 2000 18:50:14 +0100 wenzelm renamed isabelle env;
Thu, 10 Feb 2000 20:54:40 +0100 wenzelm \isabellesimplestyle;
Fri, 22 Oct 1999 20:23:40 +0200 wenzelm achieve proper italic correction;
Thu, 21 Oct 1999 18:47:33 +0200 wenzelm \isakeyword: fixed italic correction;
Fri, 08 Oct 1999 17:07:10 +0200 wenzelm \isakeyword: italic correction;
Fri, 08 Oct 1999 15:04:32 +0200 wenzelm improved special chars;
Thu, 07 Oct 1999 17:20:19 +0200 wenzelm removed verbatim markups;
Thu, 07 Oct 1999 12:25:50 +0200 wenzelm verbatim: no markup;
Wed, 06 Oct 1999 18:14:26 +0200 wenzelm tuned markup commands;
Wed, 06 Oct 1999 00:35:05 +0200 wenzelm accomodate markup commands;
Tue, 05 Oct 1999 14:11:34 +0200 wenzelm macros for Isabelle generated LaTeX output;
less more (0) tip