| Sun, 18 Jul 2021 18:15:27 +0200 | merged | file | diff | annotate |
| Thu, 15 Jul 2021 14:10:18 +0200 | ewrite.sml + poly.sml + rational.sml: ok, repair rewrite-orders | file | diff | annotate |
| Mon, 21 Jun 2021 15:36:09 +0200 | more antiquotations for Isabelle/HOL consts/types, without change of semantics; | file | diff | annotate |
| Tue, 20 Apr 2021 16:58:44 +0200 | replace power ^^^ by \<up> | file | diff | annotate |
| Mon, 19 Apr 2021 20:12:53 +0200 | session Isac_Test works again: de0ccac9f862 removes confusion that lead to partial/breaking changes in 0ca0f9363ad3; | 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 |
| Tue, 19 May 2020 12:33:35 +0200 | adapt test/../Specify/* to new files in src/../Specify/* | file | diff | annotate |
| Fri, 15 May 2020 14:22:05 +0200 | prep. cleanup of Specification | file | diff | annotate | base |