Mon, 07 Nov 2022 17:37:20 +0100 | rename fields in Method_Def.T | file | diff | annotate |
Sat, 08 Oct 2022 11:40:48 +0200 | follow up 5: cleanup | file | diff | annotate |
Fri, 07 Oct 2022 20:46:48 +0200 | follow up 3: MethodC.adapt_to_typ on loading by CalcTree, CalcTreeTEST | file | diff | annotate |
Wed, 03 Feb 2021 16:39:44 +0100 | Isac's MethodC not shadowing Isabelle's Method | file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 | standard format for string lists | file | diff | annotate |
Tue, 12 May 2020 17:42:29 +0200 | shift code from struct.Specify to appropriate locations | file | diff | annotate |
Thu, 21 Nov 2019 12:05:56 +0100 | lucin: prep.to unitise handling of tactics | file | diff | annotate |
Sun, 22 Sep 2019 16:52:14 +0200 | adopt new files of ProgLang in test/.. | file | diff | annotate |