Mon, 28 Jul 2008 20:49:07 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Sun, 08 Jun 2008 14:31:06 +0200 |
wenzelm |
updated generated file;
Isabelle2008
|
file |
diff |
annotate
|
Thu, 20 Dec 2007 21:09:38 +0100 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Fri, 31 Aug 2007 15:56:19 +0200 |
nipkow |
explained \isatstyle(minor)
|
file |
diff |
annotate
|
Fri, 31 Aug 2007 12:24:00 +0200 |
nipkow |
added short_names explanation
|
file |
diff |
annotate
|
Fri, 25 May 2007 18:25:17 +0200 |
huffman |
fix typos
|
file |
diff |
annotate
|
Sun, 06 May 2007 13:33:01 +0200 |
nipkow |
added test about "set" supression
|
file |
diff |
annotate
|
Fri, 02 Mar 2007 15:43:18 +0100 |
haftmann |
adjusted to latest changes
|
file |
diff |
annotate
|
Mon, 27 Nov 2006 17:13:10 +0100 |
webertj |
typo fixed
|
file |
diff |
annotate
|
Thu, 19 Jan 2006 21:22:29 +0100 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Thu, 01 Sep 2005 00:45:24 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Sun, 28 Aug 2005 19:42:19 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Fri, 19 Aug 2005 22:44:36 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Fri, 19 Aug 2005 10:50:05 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Wed, 15 Jun 2005 09:01:48 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 01 Jun 2005 19:40:26 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 01 Jun 2005 14:16:45 +0200 |
haftmann |
remove CVS id from *.sty latex styles
|
file |
diff |
annotate
|
Wed, 01 Jun 2005 10:40:51 +0200 |
haftmann |
some refinements
|
file |
diff |
annotate
|
Tue, 31 May 2005 12:36:01 +0200 |
nipkow |
fixed sectioning
|
file |
diff |
annotate
|
Tue, 31 May 2005 12:16:42 +0200 |
nipkow |
\nexists
|
file |
diff |
annotate
|
Wed, 25 May 2005 11:14:59 +0200 |
kleing |
tuned thm_style section
|
file |
diff |
annotate
|
Wed, 25 May 2005 10:51:42 +0200 |
nipkow |
added ? explanations
|
file |
diff |
annotate
|
Mon, 23 May 2005 10:49:25 +0200 |
haftmann |
some adaptions
|
file |
diff |
annotate
|
Wed, 18 May 2005 11:30:58 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Tue, 17 May 2005 18:10:37 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
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
|
Sat, 30 Apr 2005 02:43:45 +0200 |
kleing |
move generated files to document/, avoid CVS file overwrite in generated/
|
file |
diff |
annotate
|