Thu, 26 Jan 2023 18:54:25 +0100 | use exclusively some new *.to_string ctxt | file | diff | annotate |
Sun, 04 Dec 2022 16:48:06 +0100 | make Minisubplb/300-init-subpbl-NEXT_STEP.sml independent from Thy_Info | file | diff | annotate |
Thu, 20 Oct 2022 10:23:38 +0200 | followup 6a: tests run from @{context} without sessions | file | diff | annotate |
Sun, 09 Oct 2022 07:44:22 +0200 | eliminate term2str in test/* | file | diff | annotate |
Sun, 11 Sep 2022 14:31:15 +0200 | resolve name clash in get_calc | file | diff | annotate |
Sat, 30 Jul 2022 16:47:45 +0200 | eliminate global flag Rewrite.trace_on | file | diff | annotate |
Sat, 18 Jun 2022 12:34:29 +0200 | adapth thy to Demo_Example | file | diff | annotate | base |