| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Sat, 17 Jun 2017 14:47:36 +0200 | wenzelm | maintain overlays within main state of document models; | file | diff | annotate |
| Fri, 16 Jun 2017 15:59:27 +0200 | wenzelm | more general dispatcher operations; | file | diff | annotate |
| Tue, 13 Jun 2017 21:15:40 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 13 Jun 2017 20:16:39 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 10 Jan 2017 16:53:05 +0100 | wenzelm | support "purge" operation on document model; | file | diff | annotate |
| Tue, 10 Jan 2017 16:09:04 +0100 | wenzelm | proper template; | file | diff | annotate |