lib/texinputs/isabelle.sty
Wed, 17 Jul 2019 16:10:05 +0200 wenzelm added \<llangle>, \<rrangle>;
Sat, 13 Apr 2019 12:45:38 +0200 wenzelm obsolete;
Sat, 03 Feb 2018 20:34:26 +0100 wenzelm more uniform treatment of formal comments within document source;
Mon, 29 Jan 2018 20:37:28 +0100 wenzelm expand definitions of \DeclareOldFontCommand in traditional article.cls, e.g. KOMA-Script no longer provides these;
Sat, 13 Jan 2018 12:19:03 +0100 wenzelm clarified default;
Sat, 13 Jan 2018 11:22:46 +0100 wenzelm added \<^cancel> operator for unused text;
Mon, 08 Jan 2018 14:28:41 +0100 wenzelm clarified output (see also 909dcdec2122, 34d1913f0b20);
Wed, 06 Dec 2017 21:30:26 +0100 wenzelm more default tags;
Wed, 06 Dec 2017 15:46:35 +0100 wenzelm more embedded cartouche arguments;
Tue, 05 Dec 2017 15:55:14 +0100 wenzelm explicit tag for document commands: avoid implicit use of document_tags;
Fri, 25 Nov 2016 14:10:33 +0100 wenzelm avoid extra space intruding rail diagrams (amending 4854f7ee0987);
Tue, 02 Aug 2016 21:55:15 +0200 wenzelm proper latex rendering of abbrevs templates (e.g. src/HOL/Nonstandard_Analysis/HLim.thy);
Fri, 06 Nov 2015 23:31:50 +0100 wenzelm more formal treatment of control symbols;
Sun, 18 Oct 2015 20:28:29 +0200 wenzelm clarified control antiquotations: decode control symbol to get name;
Sat, 17 Oct 2015 21:15:10 +0200 wenzelm added 'paragraph', 'subparagraph';
Sat, 17 Oct 2015 19:47:34 +0200 wenzelm more explicit output of list items;
Wed, 14 Oct 2015 14:21:00 +0200 wenzelm clarified control symbols;
Mon, 12 Oct 2015 17:10:36 +0200 wenzelm some control symbols for markup and formatting;
Sun, 02 Nov 2014 16:09:35 +0100 wenzelm more flexibile \setisabellecontext, independently of header;
Sun, 02 Nov 2014 15:27:37 +0100 wenzelm uniform heading commands work in any context, even in theory header;
Mon, 20 Oct 2014 16:52:36 +0200 wenzelm official support for "tt" style variants, avoid fragile \verb in LaTeX;
Sun, 09 Feb 2014 16:17:01 +0100 wenzelm yet another attempt at actual underscore;
Sat, 18 Jan 2014 19:15:12 +0100 wenzelm support for nested text cartouches;
Fri, 23 Aug 2013 15:36:54 +0200 wenzelm discontinued unused antiquotation blocks;
Tue, 13 Aug 2013 20:34:46 +0200 wenzelm discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
Wed, 12 Sep 2012 12:09:40 +0200 wenzelm discontinued experiment with literal replacement text in PDF (cf. b646316f8b3c, 2ff10e613689);
Sun, 27 Nov 2011 13:12:42 +0100 wenzelm refined "literal" document style, with some correspondence to actual text source;
Sun, 19 Jun 2011 15:22:58 +0200 wenzelm discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
Thu, 09 Jun 2011 17:58:42 +0200 wenzelm even more robust \isaspacing;
Thu, 09 Jun 2011 17:46:25 +0200 wenzelm some attempts at robust \isaspacing so that \isa{...} can be used in section headings etc. (need to avoid `\? for some reason);
Thu, 09 Jun 2011 11:26:25 +0200 wenzelm \frenchspacing for formal isabelle style avoids extra space in situations like ``@{text "?"}'' followed by plain text;
Fri, 06 May 2011 20:25:41 +0200 wenzelm no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already;
Fri, 06 May 2011 17:52:08 +0200 wenzelm removed \underscoreon which is from Larry's iman.sty, not underscore.sty;
Tue, 03 May 2011 21:18:43 +0200 wenzelm provide \isabellestyle{itunderscore} (requires underscore.sty);
Sun, 01 May 2011 17:13:44 +0200 wenzelm localized \isabellestyle;
Mon, 08 Nov 2010 11:28:22 +0100 wenzelm more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour;
Sun, 07 Nov 2010 22:51:16 +0100 wenzelm basic setup for literal replacement text in PDF, to support copy/paste of Isabelle symbols;
Thu, 23 Sep 2010 13:25:01 +0200 haftmann reverted cs 5aced2f43837 -- no need for hardwired latex command here
Mon, 20 Sep 2010 09:19:13 +0200 haftmann \\isatypewrite now part of isabelle latex style
Sat, 20 Dec 2008 11:55:34 +0100 wenzelm removed Ids;
Tue, 24 Jun 2008 19:43:12 +0200 wenzelm added isaantiqopen/close;
Thu, 18 Oct 2007 14:30:55 +0200 wenzelm DeclareRobustCommand \isactrlbsub/esub etc.;
Tue, 16 Oct 2007 17:06:21 +0200 wenzelm DeclareRobustCommand isascriptstyle (enables sub/superscripts within section headings etc.);
Thu, 12 Apr 2007 15:01:11 +0200 wenzelm newenvironment{isaantiq};
Sun, 05 Nov 2006 21:44:40 +0100 wenzelm removed isactrlconst;
Mon, 16 Oct 2006 14:07:18 +0200 haftmann added isactrlconst
Tue, 31 Jan 2006 00:39:44 +0100 wenzelm all styles now reset to defaults first, i.e. the document may switch styles back and forth;
Tue, 20 Sep 2005 21:39:00 +0200 wenzelm tuned headers;
Thu, 01 Sep 2005 00:46:14 +0200 wenzelm isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;
Mon, 29 Aug 2005 10:28:17 +0200 wenzelm recover original definitions of \isactrlsub etc.;
Sun, 28 Aug 2005 16:35:39 +0200 wenzelm added \isactrlloc;
Sun, 28 Aug 2005 16:04:42 +0200 wenzelm added \isachardoublequoteopen/close, \isacharbackquoteopen/close;
Tue, 16 Aug 2005 13:42:18 +0200 wenzelm \isabellestyleit: proper \isacharbackslash;
Fri, 24 Jun 2005 03:16:52 +0200 kleing made su[bp]/isu[bp] behave the same as their bsu[bp]..esu[bp] counterparts,
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>
less more (0) -100 -60 tip