lib/texinputs/isabelle.sty
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;
1999-10-07 wenzelm 1999-10-07 removed verbatim markups;
1999-10-07 wenzelm 1999-10-07 verbatim: no markup;
1999-10-06 wenzelm 1999-10-06 tuned markup commands;
1999-10-06 wenzelm 1999-10-06 accomodate markup commands;
1999-10-05 wenzelm 1999-10-05 macros for Isabelle generated LaTeX output;