diff options
| author | Thomas Kleymann | 1998-09-03 15:50:33 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-09-03 15:50:33 +0000 |
| commit | 6e950a19483819bab14656d866710e1233abf759 (patch) | |
| tree | 45ee4da2040ad16e3e5e399d1578857cad0e574e | |
| parent | 9163e1bdfbac3150fa5c74050329cd2fab47a3f3 (diff) | |
A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,
annotations are recorded in the object file. This needs to be
changed in the SML code. (initially 2h tms)
Done. :-)
| -rw-r--r-- | todo | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -143,10 +143,6 @@ C pbp code doesn't quite accord with the tech report; in particular it A fix Pbp implementation (10h; tms) -A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l, - annotations are recorded in the object file. This needs to be - changed in the SML code. (initially 2h tms) - C Mechanism to save object file B Equiv, Next,... aren't handled properly, because LEGO does not |