| Mon, 21 Jan 2002 17:02:52 +0100 |
wenzelm |
reset show_hyps by default (in accordance to existing Isar practice);
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| Sat, 01 Jul 2000 19:56:46 +0200 |
wenzelm |
eta_contract: no default;
|
file |
diff |
annotate
|
| Mon, 22 May 2000 11:57:27 +0200 |
wenzelm |
show_consts no longer requires show_types;
|
file |
diff |
annotate
|
| Tue, 18 Jan 2000 11:33:31 +0100 |
paulson |
fixed many bad line & page breaks
|
file |
diff |
annotate
|
| Sun, 31 Oct 1999 20:11:23 +0100 |
wenzelm |
updated;
Isabelle99
|
file |
diff |
annotate
|
| Fri, 24 Sep 1999 12:22:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 19 Aug 1999 13:56:02 +0200 |
wenzelm |
finished theories;
|
file |
diff |
annotate
|
| Fri, 30 Jul 1999 15:56:33 +0200 |
wenzelm |
added update_thy_only;
|
file |
diff |
annotate
|
| Mon, 10 May 1999 15:16:49 +0200 |
wenzelm |
pdf setup;
|
file |
diff |
annotate
|
| Tue, 04 May 1999 11:27:25 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 03 May 1999 19:03:35 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 03 May 1999 18:35:48 +0200 |
wenzelm |
theory loader stuff updated and improved;
|
file |
diff |
annotate
|
| Wed, 10 Mar 1999 16:31:33 +0100 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| Wed, 06 Jan 1999 15:00:12 +0100 |
wenzelm |
fixed commit spec;
|
file |
diff |
annotate
|