Sun, 21 Oct 2001 19:42:53 +0200 |
wenzelm |
\newif\ifisamarkup controls spacing of isabeginpar;
|
file |
diff |
annotate
|
Wed, 26 Sep 2001 22:25:23 +0200 |
wenzelm |
bold symbols;
|
file |
diff |
annotate
|
Sun, 21 Jan 2001 13:21:14 +0100 |
wenzelm |
\isaindent;
|
file |
diff |
annotate
|
Sun, 07 Jan 2001 21:45:14 +0100 |
wenzelm |
removed ID (avoid CVS conflicts with generated versions);
|
file |
diff |
annotate
|
Mon, 04 Dec 2000 23:21:35 +0100 |
wenzelm |
added \isabeginpar, \isaendpar;
|
file |
diff |
annotate
|
Wed, 15 Nov 2000 00:39:44 +0100 |
wenzelm |
isabellebody: \par at begin/end;
|
file |
diff |
annotate
|
Wed, 08 Nov 2000 23:04:54 +0100 |
wenzelm |
tuned isabelle environment;
|
file |
diff |
annotate
|
Wed, 18 Oct 2000 23:39:49 +0200 |
wenzelm |
avoid "_" and "^" (more robust);
|
file |
diff |
annotate
|
Sun, 15 Oct 2000 19:50:35 +0200 |
wenzelm |
proper symbol markup with \isamath, \isatext;
|
file |
diff |
annotate
|
Wed, 11 Oct 2000 12:52:56 +0200 |
wenzelm |
fixed \isastyleminor for "tt": \small;
|
file |
diff |
annotate
|
Sat, 30 Sep 2000 12:27:57 +0200 |
wenzelm |
isapar: \medskip;
|
file |
diff |
annotate
|
Thu, 21 Sep 2000 18:33:48 +0200 |
wenzelm |
improved \isachartilde for non-tt styles;
|
file |
diff |
annotate
|
Mon, 18 Sep 2000 23:43:11 +0200 |
wenzelm |
added plain "tt" style;
|
file |
diff |
annotate
|
Fri, 15 Sep 2000 16:30:16 +0200 |
wenzelm |
fixed "sl" style;
|
file |
diff |
annotate
|
Mon, 11 Sep 2000 17:34:42 +0200 |
wenzelm |
added \isabellecontext;
|
file |
diff |
annotate
|