Sun, 08 Jan 2023 16:19:31 +0100 |
eliminate use of Thy_Info 5: ThyC.get_theory in Error_Pattern, Kernel
|
file | diff | annotate |
Wed, 27 Jul 2022 13:11:43 +0200 |
polish naming
|
file | diff | annotate |
Wed, 21 Apr 2021 11:47:30 +0200 |
check remaining "for tests only" wrt. \<^isac_test>CARTOUCHE
|
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 |
Sun, 24 May 2020 16:05:36 +0200 |
prep.resolve hacks introduced with funpack, part 1
|
file | diff | annotate |
Thu, 14 May 2020 16:08:41 +0200 |
shift code Specification --> Calc
|
file | diff | annotate |
Mon, 04 May 2020 11:13:16 +0200 |
cleanup struct.Derive
|
file | diff | annotate |
Sat, 02 May 2020 15:41:27 +0200 |
simplify Solve_Step.check, remove CAScmd (is not a tactic)
|
file | diff | annotate |
Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
Wed, 01 Apr 2020 18:54:03 +0200 |
renaming, cleanup
|
file | diff | annotate |
Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |