| Mon, 06 Aug 2012 21:11:42 +0200 | wenzelm | pass Isabelle/Scala system options into ML process of Isar tty or build jobs; | file | diff | annotate |
| Mon, 23 Jul 2012 22:35:10 +0200 | wenzelm | added ML version of stand-alone options, with XML.encode/decode operations (unidirectional from Scala to ML); | file | diff | annotate |