Sat, 14 May 2005 21:31:13 +0200 |
haftmann |
added Proof.context to antiquotation
|
file |
diff |
annotate
|
Thu, 12 May 2005 09:45:54 +0200 |
nipkow |
fixed a few things and added Haftmann as author
|
file |
diff |
annotate
|
Tue, 03 May 2005 10:32:32 +0200 |
haftmann |
Added short description of thm_style and term_style antiquotation
|
file |
diff |
annotate
|
Sun, 10 Apr 2005 11:41:29 +0200 |
nipkow |
section on qmark
|
file |
diff |
annotate
|
Thu, 07 Apr 2005 09:28:16 +0200 |
wenzelm |
added term_8;
|
file |
diff |
annotate
|
Thu, 03 Feb 2005 03:33:55 +0100 |
kleing |
Document now applies to devel version (and Isabelle 2005)
|
file |
diff |
annotate
|
Wed, 26 Jan 2005 17:34:42 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 06 Jan 2005 05:15:26 +0100 |
kleing |
suggestions by Jeremy Siek
|
file |
diff |
annotate
|
Wed, 08 Dec 2004 07:50:27 +0100 |
kleing |
improvements by Larry and Micheal Wahler
|
file |
diff |
annotate
|
Tue, 07 Dec 2004 12:13:17 +0100 |
kleing |
link to tar.gz
|
file |
diff |
annotate
|
Mon, 06 Dec 2004 01:06:22 +0100 |
kleing |
fixed typos
|
file |
diff |
annotate
|
Fri, 03 Dec 2004 12:52:24 +0100 |
kleing |
tuned
|
file |
diff |
annotate
|
Fri, 03 Dec 2004 07:27:48 +0100 |
kleing |
fixed typo
|
file |
diff |
annotate
|
Fri, 03 Dec 2004 07:23:19 +0100 |
kleing |
more sugar
|
file |
diff |
annotate
|
Mon, 29 Nov 2004 18:49:35 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Mon, 29 Nov 2004 11:12:19 +0100 |
nipkow |
New
|
file |
diff |
annotate
|