Wed, 25 Jan 2023 15:52:33 +0100 |
ContextC.build_while_parsing, improves O_Model.init_PIDE
|
file | diff | annotate |
Thu, 08 Dec 2022 10:16:40 +0100 |
make Minisubplb/300-init-subpbl.sml independent from Thy_Info
|
file | diff | annotate |
Sun, 18 Apr 2021 23:37:59 +0200 |
conditional compilation via system option "isac_test" and antiquotation \<^isac_test>CARTOUCHE:
|
file | diff | annotate |
Fri, 27 Nov 2020 16:53:08 +0100 |
integration 3: push new code down to storing by Theory_Data
|
file | diff | annotate |
Wed, 25 Nov 2020 12:44:43 +0100 |
adapt initialise Calculation to PIDE
|
file | diff | annotate |
Mon, 29 Jun 2020 15:43:35 +0200 |
code polishing
|
file | diff | annotate |
Wed, 03 Jun 2020 11:25:19 +0200 |
follow 2 ancient updates of Library.ML
|
file | diff | annotate |
Sun, 24 May 2020 16:05:36 +0200 |
prep.resolve hacks introduced with funpack, part 1
|
file | diff | annotate |
Sun, 19 Apr 2020 11:07:02 +0200 |
switch "activate for Test_Isac .." back to Build_Isac
|
file | diff | annotate |
Fri, 17 Apr 2020 18:47:29 +0200 |
Test_Isac_Short OK (except the 2 strange errors)
|
file | diff | annotate |
Wed, 15 Apr 2020 13:47:56 +0200 |
use "ThyC" for renaming identifiers
|
file | diff | annotate |
Fri, 10 Apr 2020 15:02:50 +0200 |
rename directory CalcElements to BaseDefinitions
|
file | diff | annotate | base |