etc/options
2012-07-24 wenzelm 2012-07-24 tuned options;
2012-07-24 wenzelm 2012-07-24 timing is command line options, not system option;
2012-07-24 wenzelm 2012-07-24 clarified document options;
2012-07-24 wenzelm 2012-07-24 pass build options to ML; some imitation of usedir Session.init;
2012-07-20 wenzelm 2012-07-20 require explicit initialization of options; more explicit Position operations;
2012-07-20 wenzelm 2012-07-20 some basic Isabelle options;