| Fri, 27 Nov 2020 14:25:39 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 27 Nov 2020 14:00:54 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 23 Nov 2020 15:14:58 +0100 | wenzelm | support for PIDE markup in batch build (inactive due to pide_reports=false); | file | diff | annotate |
| Wed, 29 Aug 2018 18:53:58 +0200 | wenzelm | support Thy_Element in Scala, following ML version; | file | diff | annotate |
| Wed, 29 Aug 2018 12:21:59 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 17 Mar 2018 20:32:39 +0100 | wenzelm | more position information; | file | diff | annotate |
| Thu, 04 May 2017 14:58:19 +0200 | wenzelm | tuned; | file | diff | annotate |