lib/texinputs/isabelle.sty
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;
2000-11-15 wenzelm 2000-11-15 isabellebody: \par at begin/end;
2000-11-08 wenzelm 2000-11-08 tuned isabelle environment;
2000-10-18 wenzelm 2000-10-18 avoid "_" and "^" (more robust);
2000-10-15 wenzelm 2000-10-15 proper symbol markup with \isamath, \isatext; support sub/super scripts:
2000-10-11 wenzelm 2000-10-11 fixed \isastyleminor for "tt": \small;
2000-09-30 wenzelm 2000-09-30 isapar: \medskip;
2000-09-21 wenzelm 2000-09-21 improved \isachartilde for non-tt styles;
2000-09-18 wenzelm 2000-09-18 added plain "tt" style;
2000-09-15 wenzelm 2000-09-15 fixed "sl" style;
2000-09-11 wenzelm 2000-09-11 added \isabellecontext; tuned;
2000-09-03 wenzelm 2000-09-03 GPLed;
2000-08-29 wenzelm 2000-08-29 underscore: added \mbox to avoid hyphenation;
2000-08-29 wenzelm 2000-08-29 \isakeywordcharunderscore;
2000-08-28 wenzelm 2000-08-28 \newenvironment{isabellebody}: version without trivlist;
2000-08-25 paulson 2000-08-25 added \trivlist...\endtrivlist to the "isabelle" environment in order to correct several problems (e.g. need for newlines and %)
2000-08-24 wenzelm 2000-08-24 disabled trivlist (causes non-descript problems in HOL-Real-HahnBanach);
2000-08-23 wenzelm 2000-08-23 isabelle env: trivlist;
2000-08-21 wenzelm 2000-08-21 added \isastyleminor; more \isachars; added \isadigit; improved \isakeyword; tuned;
2000-08-19 wenzelm 2000-08-19 added \isachar definitions; added \isabellestyle switch; tuned;
2000-05-08 wenzelm 2000-05-08 removed \isabelledefaultstyle (use \isabellestyle instead);
2000-04-14 wenzelm 2000-04-14 \newenvironment{isabellequote};
2000-04-14 wenzelm 2000-04-14 global \isa@parindent, \isa@parskip; \newcommand{\isa};
2000-04-03 wenzelm 2000-04-03 isapar, isamarkuptext, isamarkuptxt turned into environments;
2000-03-17 wenzelm 2000-03-17 parskip 0pt;
2000-03-17 wenzelm 2000-03-17 \isamarkupheader: \section;
2000-03-16 wenzelm 2000-03-16 tuned;
2000-03-15 wenzelm 2000-03-15 renamed isabelle env; proper handling of parindent/parskip;
2000-02-10 wenzelm 2000-02-10 \isabellesimplestyle;
1999-10-22 wenzelm 1999-10-22 achieve proper italic correction;
1999-10-21 wenzelm 1999-10-21 \isakeyword: fixed italic correction;
1999-10-08 wenzelm 1999-10-08 \isakeyword: italic correction;
1999-10-08 wenzelm 1999-10-08 improved special chars;