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, 03 Feb 2021 16:39:44 +0100 | Isac's MethodC not shadowing Isabelle's Method | file | diff | annotate |
Sun, 14 Jun 2020 15:39:55 +0200 | unify code (and replace Specify.by_tactic_input' by Specify.by_Add_) | file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 | standard format for string lists | file | diff | annotate |
Fri, 15 May 2020 14:22:05 +0200 | prep. cleanup of Specification | file | diff | annotate |
Wed, 13 May 2020 11:34:05 +0200 | shift code from struct.Specify to appropriate locations | file | diff | annotate |
Tue, 12 May 2020 10:14:09 +0200 | distribute code from old Specify/ptyps.sml | file | diff | annotate |
Tue, 12 May 2020 07:27:21 +0200 | remove Specify/mstools.sml | file | diff | annotate |