Thu, 21 Sep 2000 10:42:49 +0200 |
kleing |
unsymbolized
|
file |
diff |
annotate
|
Mon, 21 Aug 2000 18:49:38 +0200 |
wenzelm |
tuned translations;
|
file |
diff |
annotate
|
Wed, 02 Aug 2000 17:54:55 +0200 |
oheimb |
minor corrections
|
file |
diff |
annotate
|
Sun, 16 Jul 2000 20:55:17 +0200 |
wenzelm |
fixed tuple translations;
|
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
|
Mon, 03 Jan 2000 14:07:08 +0100 |
oheimb |
removed inj_eq from the default simpset again
|
file |
diff |
annotate
|
Fri, 26 Nov 1999 08:46:59 +0100 |
nipkow |
Various little changes like cmethd -> method and cfield -> field.
|
file |
diff |
annotate
|
Thu, 11 Nov 1999 12:23:45 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|