Sat, 01 Jun 2019 11:09:19 +0200 | [-Test_Isac] funpack: repair errors in test, spot remaining errors | file | diff | annotate |
Mon, 27 May 2019 19:43:52 +0200 | Test_Some: exception Size raised (line 169 of "./basis/LibrarySupport.sml") | file | diff | annotate |
Mon, 27 May 2019 19:28:40 +0200 | funpack: failed trial to generalise handling of meths which extend the model of a probl | file | diff | annotate |