| Sun, 03 Sep 2000 20:01:27 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2000 20:10:39 +0200 |
wenzelm |
underscore: added \mbox to avoid hyphenation;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2000 00:53:21 +0200 |
wenzelm |
\isakeywordcharunderscore;
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 20:29:19 +0200 |
wenzelm |
\newenvironment{isabellebody}: version without trivlist;
|
file |
diff |
annotate
|
| Fri, 25 Aug 2000 12:17:09 +0200 |
paulson |
added \trivlist...\endtrivlist to the "isabelle" environment
|
file |
diff |
annotate
|
| Thu, 24 Aug 2000 00:54:54 +0200 |
wenzelm |
disabled trivlist (causes non-descript problems in HOL-Real-HahnBanach);
|
file |
diff |
annotate
|
| Wed, 23 Aug 2000 15:24:46 +0200 |
wenzelm |
isabelle env: trivlist;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2000 18:40:30 +0200 |
wenzelm |
added \isastyleminor;
|
file |
diff |
annotate
|
| Sat, 19 Aug 2000 12:43:55 +0200 |
wenzelm |
added \isachar definitions;
|
file |
diff |
annotate
|
| Mon, 08 May 2000 10:51:07 +0200 |
wenzelm |
removed \isabelledefaultstyle (use \isabellestyle instead);
|
file |
diff |
annotate
|
| Fri, 14 Apr 2000 16:12:46 +0200 |
wenzelm |
\newenvironment{isabellequote};
|
file |
diff |
annotate
|
| Fri, 14 Apr 2000 15:55:40 +0200 |
wenzelm |
global \isa@parindent, \isa@parskip;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2000 14:02:40 +0200 |
wenzelm |
isapar, isamarkuptext, isamarkuptxt turned into environments;
|
file |
diff |
annotate
|
| Fri, 17 Mar 2000 22:53:19 +0100 |
wenzelm |
parskip 0pt;
|
file |
diff |
annotate
|
| Fri, 17 Mar 2000 17:10:37 +0100 |
wenzelm |
\isamarkupheader: \section;
|
file |
diff |
annotate
|