src/Tools/isac/MathEngBasic/state-steps.sml
Thu, 04 Aug 2022 12:48:37 +0200 polish naming in Rewrite_Order
Sun, 18 Apr 2021 23:37:59 +0200 conditional compilation via system option "isac_test" and antiquotation \<^isac_test>CARTOUCHE:
Thu, 14 May 2020 16:08:41 +0200 shift code Specification --> Calc
Mon, 11 May 2020 11:38:52 +0200 error -> raise ERROR
Sat, 02 May 2020 17:39:04 +0200 prep. new Solve_Step.add
Tue, 28 Apr 2020 15:31:49 +0200 assign code from Rtools to appropriate struct.s
Thu, 23 Apr 2020 15:48:31 +0200 separate struct.State_Steps, rename