| Fri, 29 Jun 2018 15:54:41 +0200 | wenzelm | disallow pending hyps; | file | diff | annotate |
| Mon, 19 Feb 2018 22:07:21 +0100 | wenzelm | support for lazy notes in global/local context and Element.Lazy_Notes: name binding and fact without attributes; | file | diff | annotate |
| Sun, 18 Feb 2018 19:18:49 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 16 Feb 2018 18:25:35 +0100 | wenzelm | more operations; | file | diff | annotate |
| Wed, 06 Dec 2017 18:59:33 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Tue, 13 Dec 2016 11:51:42 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 23 Jun 2016 11:01:14 +0200 | wenzelm | tuned signature; | file | diff | annotate |