| Thu, 04 Mar 2021 15:41:46 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Sat, 09 Jan 2021 18:56:53 +0100 | wenzelm | discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document; | file | diff | annotate |
| Fri, 18 Dec 2020 23:19:07 +0100 | wenzelm | improved markup for theory header imports; | file | diff | annotate |
| Sat, 05 Dec 2020 12:14:40 +0100 | wenzelm | support for PIDE markup for auxiliary files ("blobs"); | file | diff | annotate |
| Tue, 01 Dec 2020 20:47:03 +0100 | wenzelm | clarified signature --- more positions; | file | diff | annotate |
| Sat, 28 Nov 2020 15:53:46 +0100 | wenzelm | tuned signature --- more explicit types; | file | diff | annotate |