| Thu, 28 Nov 2019 18:13:23 +0100 | wenzelm | more structural integrity; | file | diff | annotate |
| Tue, 04 Jun 2019 20:49:33 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 03 Jun 2019 23:29:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 19 Feb 2018 14:49:11 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 18 Feb 2018 17:57:14 +0100 | wenzelm | more explicit instantiate_morphism (without checks for typ / term component); | file | diff | annotate |
| Fri, 16 Feb 2018 21:33:04 +0100 | wenzelm | trim context of persistent data; | file | diff | annotate |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |