| 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
|
| Tue, 03 May 2011 21:18:43 +0200 |
wenzelm |
provide \isabellestyle{itunderscore} (requires underscore.sty);
|
file |
diff |
annotate
|
| Sun, 01 May 2011 17:13:44 +0200 |
wenzelm |
localized \isabellestyle;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 11:28:22 +0100 |
wenzelm |
more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour;
|
file |
diff |
annotate
|
| Sun, 07 Nov 2010 22:51:16 +0100 |
wenzelm |
basic setup for literal replacement text in PDF, to support copy/paste of Isabelle symbols;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 13:25:01 +0200 |
haftmann |
reverted cs 5aced2f43837 -- no need for hardwired latex command here
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 09:19:13 +0200 |
haftmann |
\\isatypewrite now part of isabelle latex style
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:55:34 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Tue, 24 Jun 2008 19:43:12 +0200 |
wenzelm |
added isaantiqopen/close;
|
file |
diff |
annotate
|