lib/texinputs/isabelle.sty
4 months ago wenzelm 2017-12-06 more default tags;
4 months ago wenzelm 2017-12-06 more embedded cartouche arguments; more uniform LaTeX output for control symbols;
4 months ago wenzelm 2017-12-05 explicit tag for document commands: avoid implicit use of document_tags;
17 months ago wenzelm 2016-11-25 avoid extra space intruding rail diagrams (amending 4854f7ee0987);
20 months ago wenzelm 2016-08-02 proper latex rendering of abbrevs templates (e.g. src/HOL/Nonstandard_Analysis/HLim.thy);
2015-11-06 wenzelm 2015-11-06 more formal treatment of control symbols;
2015-10-18 wenzelm 2015-10-18 clarified control antiquotations: decode control symbol to get name; document antiquotations @{emph}, @{bold}; symbol interpretation for \<^emph>; tuned;
2015-10-17 wenzelm 2015-10-17 added 'paragraph', 'subparagraph';
2015-10-17 wenzelm 2015-10-17 more explicit output of list items;
2015-10-14 wenzelm 2015-10-14 clarified control symbols;
2015-10-12 wenzelm 2015-10-12 some control symbols for markup and formatting;
2014-11-02 wenzelm 2014-11-02 more flexibile \setisabellecontext, independently of header;
2014-11-02 wenzelm 2014-11-02 uniform heading commands work in any context, even in theory header; discontinued obsolete 'sect', 'subsect', 'subsubsect'; marked obsolete 'header' as legacy;
2014-10-20 wenzelm 2014-10-20 official support for "tt" style variants, avoid fragile \verb in LaTeX; official document antiquotation @{verbatim};
2014-02-09 wenzelm 2014-02-09 yet another attempt at actual underscore; enforce scalable fonts for T1 encoding;
2014-01-18 wenzelm 2014-01-18 support for nested text cartouches; clarified Symbol.is_symbolic: exclude \<open> and \<close>;
2013-08-23 wenzelm 2013-08-23 discontinued unused antiquotation blocks;
2013-08-13 wenzelm 2013-08-13 discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end; document antiquotations: renamed term style "isub" to "sub";
2012-09-12 wenzelm 2012-09-12 discontinued experiment with literal replacement text in PDF (cf. b646316f8b3c, 2ff10e613689);
2011-11-27 wenzelm 2011-11-27 refined "literal" document style, with some correspondence to actual text source;
2011-06-19 wenzelm 2011-06-19 discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
2011-06-09 wenzelm 2011-06-09 even more robust \isaspacing;
2011-06-09 wenzelm 2011-06-09 some attempts at robust \isaspacing so that \isa{...} can be used in section headings etc. (need to avoid `\? for some reason);
2011-06-09 wenzelm 2011-06-09 \frenchspacing for formal isabelle style avoids extra space in situations like ``@{text "?"}'' followed by plain text;
2011-05-06 wenzelm 2011-05-06 no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already;
2011-05-06 wenzelm 2011-05-06 removed \underscoreon which is from Larry's iman.sty, not underscore.sty;
2011-05-03 wenzelm 2011-05-03 provide \isabellestyle{itunderscore} (requires underscore.sty);
2011-05-01 wenzelm 2011-05-01 localized \isabellestyle;
2010-11-08 wenzelm 2010-11-08 more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour;
2010-11-07 wenzelm 2010-11-07 basic setup for literal replacement text in PDF, to support copy/paste of Isabelle symbols;
2010-09-23 haftmann 2010-09-23 reverted cs 5aced2f43837 -- no need for hardwired latex command here
2010-09-20 haftmann 2010-09-20 \\isatypewrite now part of isabelle latex style
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-06-24 wenzelm 2008-06-24 added isaantiqopen/close;
2007-10-18 wenzelm 2007-10-18 DeclareRobustCommand \isactrlbsub/esub etc.;
2007-10-16 wenzelm 2007-10-16 DeclareRobustCommand isascriptstyle (enables sub/superscripts within section headings etc.);
2007-04-12 wenzelm 2007-04-12 newenvironment{isaantiq};
2006-11-05 wenzelm 2006-11-05 removed isactrlconst;
2006-10-16 haftmann 2006-10-16 added isactrlconst
2006-01-31 wenzelm 2006-01-31 all styles now reset to defaults first, i.e. the document may switch styles back and forth; added macro \isachardefaults for \chardef defaults; renamed \isakeywordcharunderscore to \isacharunderscorekeyword; added isabellestyle{default};
2005-09-20 wenzelm 2005-09-20 tuned headers;
2005-09-01 wenzelm 2005-09-01 isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;
2005-08-29 wenzelm 2005-08-29 recover original definitions of \isactrlsub etc.;
2005-08-28 wenzelm 2005-08-28 added \isactrlloc;
2005-08-28 wenzelm 2005-08-28 added \isachardoublequoteopen/close, \isacharbackquoteopen/close;
2005-08-16 wenzelm 2005-08-16 \isabellestyleit: proper \isacharbackslash; support for tagged regions: \isakeeptag, \isadroptag, \isafoldtag -- depends on plain TeX version of comment.sty;
2005-06-24 kleing 2005-06-24 made su[bp]/isu[bp] behave the same as their bsu[bp]..esu[bp] counterparts, properly respect isastylescript now
2005-05-24 haftmann 2005-05-24 ML_idf antiquotation
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-05-06 wenzelm 2004-05-06 improved block sup/sub;
2004-01-09 kleing 2004-01-09 set isasep to {} by default
2004-01-08 kleing 2004-01-08 separate thm lists in latex output by \isasep
2003-12-29 kleing 2003-12-29 spanning super and sub scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>
2003-10-15 kleing 2003-10-15 use \<^isub> and \<^isup> in identifiers instead of just \<^sub> (avoid conflict with locale subscript syntax)
2003-04-28 kleing 2003-04-28 in \isanewline: \\ -> \par fixes "tex capacity exceeded" error for large theories
2001-10-21 wenzelm 2001-10-21 \newif\ifisamarkup controls spacing of isabeginpar;
2001-09-26 wenzelm 2001-09-26 bold symbols;
2001-01-21 wenzelm 2001-01-21 \isaindent;
2001-01-07 wenzelm 2001-01-07 removed ID (avoid CVS conflicts with generated versions);
2000-12-04 wenzelm 2000-12-04 added \isabeginpar, \isaendpar;