2013-05-12 agosome system options as context-sensitive config options;
wenzelm [Sun, 12 May 2013 20:25:45 +0200] rev 51949
some system options as context-sensitive config options;

2013-05-12 agoload options for regular isabelle-process, not just for Isar loop (relevant for numerous low-level tools) -- NB: Isabelle_Process manages options via protocol message;
wenzelm [Sun, 12 May 2013 19:56:30 +0200] rev 51948
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;

2013-05-12 agosupport for system options as context-sensitive config options;
wenzelm [Sun, 12 May 2013 18:22:44 +0200] rev 51947
support for system options as context-sensitive config options;

2013-05-12 agotuned signature;
wenzelm [Sun, 12 May 2013 18:20:16 +0200] rev 51946
tuned signature;

2013-05-12 agotuned comments;
wenzelm [Sun, 12 May 2013 17:56:53 +0200] rev 51945
tuned comments;

2013-05-12 agosupport for options as preferences;
wenzelm [Sun, 12 May 2013 17:51:34 +0200] rev 51944
support for options as preferences;

2013-05-12 agomore operations in accordance to Scala version;
wenzelm [Sun, 12 May 2013 17:42:36 +0200] rev 51943
more operations in accordance to Scala version;

2013-05-12 agomore systematic access to options default;
wenzelm [Sun, 12 May 2013 15:08:11 +0200] rev 51942
more systematic access to options default;

2013-05-12 agofull default options for Isabelle_Process and Build;
wenzelm [Sun, 12 May 2013 15:05:15 +0200] rev 51941
full default options for Isabelle_Process and Build;

2013-05-12 agodecentralized historic settings;
wenzelm [Sun, 12 May 2013 14:25:16 +0200] rev 51940
decentralized historic settings;