Wed, 18 Aug 1999 17:15:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 18 Aug 1999 15:40:45 +0200 |
berghofe |
Modified section about generation of theory browsing information.
|
file |
diff |
annotate
|
Mon, 10 May 1999 16:35:22 +0200 |
wenzelm |
pdf setup;
|
file |
diff |
annotate
|
Wed, 20 Jan 1999 18:07:34 +0100 |
wenzelm |
isabelle.in.tum.de;
|
file |
diff |
annotate
|
Mon, 24 Aug 1998 17:13:11 +0200 |
wenzelm |
emacs local vars;
|
file |
diff |
annotate
|
Mon, 12 Jan 1998 15:47:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 08 Jan 1998 18:25:36 +0100 |
wenzelm |
updated to Isabelle98;
|
file |
diff |
annotate
|
Tue, 30 Sep 1997 17:31:19 +0200 |
berghofe |
Added section describing the theory browser.
|
file |
diff |
annotate
|
Fri, 16 May 1997 15:57:11 +0200 |
wenzelm |
still under construction!
|
file |
diff |
annotate
|
Wed, 14 May 1997 19:27:21 +0200 |
wenzelm |
preliminary!
|
file |
diff |
annotate
|