Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
Thu, 26 Feb 2009 20:55:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
Mon, 16 Feb 2009 20:25:21 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
Sun, 15 Feb 2009 18:56:13 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
Mon, 02 Feb 2009 09:27:54 +0100 |
haftmann |
updated type class section
|
file |
diff |
annotate
|
Thu, 22 Jan 2009 09:04:45 +0100 |
haftmann |
dropped print_interps
|
file |
diff |
annotate
|
Mon, 19 Jan 2009 13:37:24 +0100 |
haftmann |
"code equation" replaces "defining equation"
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 22:45:12 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
Mon, 10 Nov 2008 14:36:49 +0100 |
ballarin |
Made doc compatible with the system.
|
file |
diff |
annotate
|
Thu, 18 Sep 2008 19:39:47 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
Wed, 17 Sep 2008 23:08:06 +0200 |
wenzelm |
added ML_prf;
|
file |
diff |
annotate
|
Wed, 03 Sep 2008 17:47:30 +0200 |
wenzelm |
Sign.declare_const: Name.binding;
|
file |
diff |
annotate
|
Tue, 02 Sep 2008 17:31:20 +0200 |
ballarin |
Interpretation commands no longer accept interpretation attributes.
|
file |
diff |
annotate
|
Tue, 12 Aug 2008 21:27:46 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
Sat, 14 Jun 2008 23:20:00 +0200 |
wenzelm |
updated geenrated file;
|
file |
diff |
annotate
|
Tue, 03 Jun 2008 00:15:46 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
Tue, 03 Jun 2008 00:03:54 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
Mon, 02 Jun 2008 23:38:28 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
Mon, 02 Jun 2008 23:12:23 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
Mon, 02 Jun 2008 22:50:29 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
Thu, 15 May 2008 17:39:20 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
Sat, 10 May 2008 00:14:00 +0200 |
wenzelm |
misc reorganization;
|
file |
diff |
annotate
|
Fri, 09 May 2008 23:35:57 +0200 |
wenzelm |
added chapters for "Specifications" and "Proofs";
|
file |
diff |
annotate
|