| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Wed, 03 Nov 2021 14:26:13 +0100 | wenzelm | more PIDE markup; | file | diff | annotate |
| 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 |