| Mon, 17 Jul 2000 14:00:53 +0200 |
kleing |
flat instruction set
|
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
|
| Thu, 06 Jul 2000 15:58:40 +0200 |
kleing |
ADD -> IAdd
|
file |
diff |
annotate
|
| Thu, 06 Jul 2000 12:15:05 +0200 |
kleing |
new ADD instruction
|
file |
diff |
annotate
|
| Thu, 30 Mar 2000 19:45:51 +0200 |
nipkow |
recdef.rules -> recdef.simps
|
file |
diff |
annotate
|
| Mon, 13 Mar 2000 16:23:34 +0100 |
wenzelm |
case_tac now subsumes both boolean and datatype cases;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2000 12:51:10 +0100 |
nipkow |
exhaust_tac -> cases_tac
|
file |
diff |
annotate
|
| Thu, 09 Mar 2000 13:51:53 +0100 |
kleing |
added NT case for method invocation
|
file |
diff |
annotate
|
| Wed, 02 Feb 2000 13:26:38 +0100 |
nipkow |
Rduced Class C <= Class D to C <= D.
|
file |
diff |
annotate
|
| Wed, 12 Jan 2000 15:58:16 +0100 |
nipkow |
Move some lemmas to List.
|
file |
diff |
annotate
|
| Mon, 06 Dec 1999 14:23:45 +0100 |
nipkow |
Renamed some vars
|
file |
diff |
annotate
|
| Wed, 01 Dec 1999 18:22:28 +0100 |
nipkow |
Fixed a problem with returning from the last frame.
|
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, 25 Nov 1999 12:01:28 +0100 |
nipkow |
Minor mods.
|
file |
diff |
annotate
|
| Thu, 11 Nov 1999 12:23:45 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|