| Thu, 29 Apr 2021 17:02:10 +0200 | eliminate "handle _ => ..." finished | file | diff | annotate |
| Tue, 20 Apr 2021 16:58:44 +0200 | replace power ^^^ by \<up> | file | diff | annotate |
| Mon, 19 Apr 2021 15:02:00 +0200 | long identifiers for occurences in test/../termC.sml | file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 | standard format for string lists | file | diff | annotate |
| Sun, 10 May 2020 17:26:36 +0200 | cleanup generate.sml, model.sml | file | diff | annotate |
| Wed, 29 Apr 2020 09:03:01 +0200 | comments on relation between files. | file | diff | annotate |
| Wed, 22 Apr 2020 11:23:30 +0200 | rename file according to struct.; start renaming with "Spec" | file | diff | annotate | base |