Thu, 10 Feb 2000 20:54:40 +0100 |
wenzelm |
\isabellesimplestyle;
|
file |
diff |
annotate
|
Fri, 22 Oct 1999 20:23:40 +0200 |
wenzelm |
achieve proper italic correction;
|
file |
diff |
annotate
|
Thu, 21 Oct 1999 18:47:33 +0200 |
wenzelm |
\isakeyword: fixed italic correction;
|
file |
diff |
annotate
|
Fri, 08 Oct 1999 17:07:10 +0200 |
wenzelm |
\isakeyword: italic correction;
|
file |
diff |
annotate
|
Fri, 08 Oct 1999 15:04:32 +0200 |
wenzelm |
improved special chars;
|
file |
diff |
annotate
|
Thu, 07 Oct 1999 17:20:19 +0200 |
wenzelm |
removed verbatim markups;
|
file |
diff |
annotate
|
Thu, 07 Oct 1999 12:25:50 +0200 |
wenzelm |
verbatim: no markup;
|
file |
diff |
annotate
|
Wed, 06 Oct 1999 18:14:26 +0200 |
wenzelm |
tuned markup commands;
|
file |
diff |
annotate
|
Wed, 06 Oct 1999 00:35:05 +0200 |
wenzelm |
accomodate markup commands;
|
file |
diff |
annotate
|
Tue, 05 Oct 1999 14:11:34 +0200 |
wenzelm |
macros for Isabelle generated LaTeX output;
|
file |
diff |
annotate
|