| Sun, 09 Oct 2022 07:44:22 +0200 | eliminate term2str in test/* | file | diff | annotate |
| Mon, 26 Sep 2022 10:57:53 +0200 | follow up 2: Problem.adapt_to_typ on loading by CalcTree, CalcTreeTEST | file | diff | annotate |
| Sun, 11 Sep 2022 14:31:15 +0200 | resolve name clash in get_calc | file | diff | annotate |
| Thu, 04 Aug 2022 12:48:37 +0200 | polish naming in Rewrite_Order | file | diff | annotate |
| Sat, 30 Jul 2022 16:47:45 +0200 | eliminate global flag Rewrite.trace_on | file | diff | annotate |
| Sun, 12 Sep 2021 15:53:36 +0200 | cleanup test/../eqsystem-2.sml | file | diff | annotate |
| Tue, 10 Aug 2021 11:01:18 +0200 | eliminate ThyC.to_ctxt, use Proof_Context.init_global inline | file | diff | annotate |
| Tue, 03 Aug 2021 19:16:27 +0200 | repair cancellation with zero polynomial | file | diff | annotate |