| Sat, 24 Nov 2018 16:41:18 +0100 | wenzelm | more shell functions; | file | diff | annotate |
| Sat, 10 Nov 2018 14:08:02 +0100 | wenzelm | support for user-defined Isabelle/Scala command-line tools; | file | diff | annotate |
| Thu, 08 Nov 2018 15:52:10 +0100 | wenzelm | always insist in specified resolver/compiler version; | file | diff | annotate |
| Wed, 07 Nov 2018 21:42:16 +0100 | wenzelm | more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; | file | diff | annotate |