Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
ported MicroJava to new datatypes
|
file |
diff |
annotate
|
Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
file |
diff |
annotate
|
Sun, 16 Jan 2011 15:53:03 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Thu, 21 Feb 2002 09:54:08 +0100 |
kleing |
new document
|
file |
diff |
annotate
|
Sun, 16 Dec 2001 00:18:17 +0100 |
kleing |
exception merge, cleanup, tuned
|
file |
diff |
annotate
|
Mon, 05 Feb 2001 20:14:15 +0100 |
oheimb |
improved document (added headers etc)
|
file |
diff |
annotate
|
Thu, 01 Feb 2001 20:53:13 +0100 |
oheimb |
converted to Isar, simplifying recursion on class hierarchy
|
file |
diff |
annotate
|
Tue, 02 Jan 2001 22:41:17 +0100 |
oheimb |
added type annotation to Call
|
file |
diff |
annotate
|
Mon, 02 Oct 2000 12:35:48 +0200 |
nipkow |
separated expr and stmt
|
file |
diff |
annotate
|
Mon, 25 Sep 2000 12:08:49 +0200 |
kleing |
untabified for HTML
|
file |
diff |
annotate
|
Fri, 22 Sep 2000 16:28:53 +0200 |
kleing |
added HTML syntax; added spaces in normal syntax for better documents
|
file |
diff |
annotate
|
Thu, 21 Sep 2000 10:42:49 +0200 |
kleing |
unsymbolized
|
file |
diff |
annotate
|
Fri, 14 Jul 2000 20:47:11 +0200 |
oheimb |
corrections (cast relation, Prog.ML -> Decl.ML)
|
file |
diff |
annotate
|
Fri, 14 Jul 2000 16:32:51 +0200 |
oheimb |
re-structuring MicroJava; added Example; corrected := syntax; simplfied cast
|
file |
diff |
annotate
|
Tue, 04 Jul 2000 10:54:32 +0200 |
oheimb |
added BinOp
|
file |
diff |
annotate
|
Thu, 11 Nov 1999 12:23:45 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|