Mon, 13 May 2013 12:13:24 +0200 | kuncar | publish a private function | changeset | files |
Mon, 13 May 2013 06:50:37 +0200 | nipkow | tuned names | changeset | files |
Sun, 12 May 2013 20:58:01 +0200 | wenzelm | re-init ISABELLE_PROCESS_OPTIONS to allow nested ISABELLE_PROCESS invocations, e.g. HOL-Mutabelle-ex; | changeset | files |
Sun, 12 May 2013 20:46:17 +0200 | wenzelm | more standard Isabelle/ML operations -- avoid inaccurate Bool.fromString; | changeset | files |
Sun, 12 May 2013 20:30:34 +0200 | wenzelm | prefer standard Isabelle/ML operations; | changeset | files |
Sun, 12 May 2013 20:25:45 +0200 | wenzelm | some system options as context-sensitive config options; | changeset | files |
Sun, 12 May 2013 19:56:30 +0200 | wenzelm | load options for regular isabelle-process, not just for Isar loop (relevant for numerous low-level tools) -- NB: Isabelle_Process manages options via protocol message; | changeset | files |