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 |