| Sun, 12 May 2013 18:22:44 +0200 | wenzelm | support for system options as context-sensitive config options; | changeset | files |
| Sun, 12 May 2013 18:20:16 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 12 May 2013 17:56:53 +0200 | wenzelm | tuned comments; | changeset | files |
| Sun, 12 May 2013 17:51:34 +0200 | wenzelm | support for options as preferences; | changeset | files |
| Sun, 12 May 2013 17:42:36 +0200 | wenzelm | more operations in accordance to Scala version; | changeset | files |
| Sun, 12 May 2013 15:08:11 +0200 | wenzelm | more systematic access to options default; | changeset | files |
| Sun, 12 May 2013 15:05:15 +0200 | wenzelm | full default options for Isabelle_Process and Build; | changeset | files |