| Sun, 30 Sep 2018 09:00:11 +0200 | nipkow | updated to new list_update precedence | file | diff | annotate |
| Mon, 25 Apr 2016 16:09:26 +0200 | wenzelm | eliminated old 'def'; | file | diff | annotate |
| Thu, 28 May 2015 17:25:57 +1000 | kleing | modernized (slightly) type compiler in MicroJava | file | diff | annotate |