2016-03-26 wenzelm [Sat, 26 Mar 2016 16:14:46 +0100] rev 62716
explicit print_depth for the sake of Spec_Check.determine_type;
src/Pure/ML/ml_compiler0.ML src/Pure/ML/ml_env.ML src/Pure/ROOT.ML src/Tools/Code/code_runtime.ML src/Tools/Spec_Check/spec_check.ML

2016-03-26 wenzelm [Sat, 26 Mar 2016 14:27:58 +0100] rev 62715
obsolete -- done in Isabelle_Process.init_options;
src/Pure/Concurrent/multithreading.ML src/Pure/Tools/build.ML

2016-03-26 wenzelm [Sat, 26 Mar 2016 14:14:23 +0100] rev 62714
clarified use of options;
src/Pure/Tools/build.ML src/Pure/Tools/build.scala

2016-03-26 wenzelm [Sat, 26 Mar 2016 13:41:14 +0100] rev 62713
tuned signature;
src/Pure/System/isabelle_process.ML src/Pure/Tools/build.ML

2016-03-26 wenzelm [Sat, 26 Mar 2016 12:35:11 +0100] rev 62712
clarified use of options;
src/Pure/System/isabelle_process.ML src/Pure/System/options.ML src/Pure/Tools/ml_process.scala

2016-03-26 wenzelm [Sat, 26 Mar 2016 12:22:15 +0100] rev 62711
avoid hardwired values;
etc/options src/HOL/Metis.thy src/Pure/ML/ml_pretty.ML src/Pure/Tools/ml_process.scala

2016-03-26 wenzelm [Sat, 26 Mar 2016 12:17:02 +0100] rev 62710
eliminated duplicate;
src/Pure/ROOT.ML

2016-03-26 wenzelm [Sat, 26 Mar 2016 12:12:13 +0100] rev 62709
more operations;
src/Pure/ML/ml_syntax.scala

2016-03-24 nipkow [Thu, 24 Mar 2016 16:10:18 +0100] rev 62708
merged

2016-03-24 nipkow [Thu, 24 Mar 2016 15:56:54 +0100] rev 62707
merged