isabelle: File revisions

lib/texinputs/isabelle.sty

Sun, 27 Nov 2011 13:12:42 +0100	wenzelm	refined "literal" document style, with some correspondence to actual text source;	file \| diff \| annotate
Sun, 19 Jun 2011 15:22:58 +0200	wenzelm	discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);	file \| diff \| annotate
Thu, 09 Jun 2011 17:58:42 +0200	wenzelm	even more robust \isaspacing;	file \| diff \| annotate
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);	file \| diff \| annotate
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;	file \| diff \| annotate
Fri, 06 May 2011 20:25:41 +0200	wenzelm	no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already;	file \| diff \| annotate
Fri, 06 May 2011 17:52:08 +0200	wenzelm	removed \underscoreon which is from Larry's iman.sty, not underscore.sty;	file \| diff \| annotate

isabelle