Sun, 27 Aug 2023 17:47:56 +0200 | rename Refine.* | file | diff | annotate |
Sun, 12 Feb 2023 12:44:25 +0100 | move code from LibraryC to approptiate structures | file | diff | annotate |
Tue, 07 Feb 2023 18:05:15 +0100 | unify ctxt for ERROR | file | diff | annotate |
Sat, 04 Feb 2023 16:20:45 +0100 | eliminate use of Thy_Info 21: replace Unparse.term, TermC.unparse_ERROR for far off ctxt | file | diff | annotate |
Thu, 26 Jan 2023 13:31:07 +0100 | use exclusively new ContextC.build_while_parsing | file | diff | annotate |
Sun, 08 Jan 2023 10:30:58 +0100 | eliminate use of Thy_Info 3> improved LItool.tac_from_prog | file | diff | annotate |
Thu, 08 Dec 2022 10:33:27 +0100 | tuned files, Test_Isac.thy works | file | diff | annotate |