Sun, 09 Oct 2022 07:44:22 +0200 | eliminate term2str in test/* | file | diff | annotate |
Mon, 19 Apr 2021 15:02:00 +0200 | long identifiers for occurences in test/../termC.sml | file | diff | annotate |
Thu, 14 May 2020 13:33:47 +0200 | rename Specification -> References, contiued | file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 | moved isac + test to final dire-structure | file | diff | annotate |