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 |
Mon, 30 Aug 2010 14:35:51 +0200 | renamed test/* according to src/* | file | diff | annotate | base |