| 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 |
| Fri, 27 Nov 2020 23:47:06 +0100 | wenzelm | more flexible syntax for theory load commands via Isabelle/Scala; | file | diff | annotate |
| Fri, 27 Nov 2020 16:40:31 +0100 | wenzelm | unused (see 7634d33c1a79); | file | diff | annotate |
| 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 |