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

2016-03-24 nipkow [Thu, 24 Mar 2016 15:56:47 +0100] rev 62706
added Leftist_Heap
src/HOL/Data_Structures/Leftist_Heap.thy src/HOL/Data_Structures/document/root.bib src/HOL/Data_Structures/document/root.tex src/HOL/ROOT