Sun, 12 May 2013 20:46:17 +0200 | wenzelm | more standard Isabelle/ML operations -- avoid inaccurate Bool.fromString; | file | diff | annotate |
Sun, 12 May 2013 18:20:16 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 12 May 2013 17:56:53 +0200 | wenzelm | tuned comments; | file | diff | annotate |
Sun, 12 May 2013 17:42:36 +0200 | wenzelm | more operations in accordance to Scala version; | file | diff | annotate |
Sun, 12 May 2013 15:08:11 +0200 | wenzelm | more systematic access to options default; | file | diff | annotate |
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 |