| 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 |