2017-04-04 wenzelm [Tue, 04 Apr 2017 19:51:56 +0200] rev 65373
clarified: allow to qualify theories from ROOT;
src/Pure/PIDE/resources.scala src/Pure/Thy/sessions.scala

2017-04-04 wenzelm [Tue, 04 Apr 2017 19:40:47 +0200] rev 65372
refer to global_theories from all sessions, before selection;
src/Pure/PIDE/resources.scala src/Pure/Thy/sessions.scala src/Pure/Tools/build.scala

2017-04-04 wenzelm [Tue, 04 Apr 2017 18:43:58 +0200] rev 65371
tuned signature;
src/Pure/General/linear_set.scala src/Pure/PIDE/text.scala src/Pure/Thy/sessions.scala

2017-04-04 wenzelm [Tue, 04 Apr 2017 18:43:47 +0200] rev 65370
tuned;
src/Pure/GUI/gui.scala

2017-04-04 wenzelm [Tue, 04 Apr 2017 17:14:41 +0200] rev 65369
macbroy30 is on 10.12 Sierra (already since 04-Mar-2017) -- discontinued support for 10.8 Mountain Lion;
Admin/PLATFORMS

2017-04-04 wenzelm [Tue, 04 Apr 2017 16:18:53 +0200] rev 65368
back to more liberal imports (amending 908a27a4b9c9): tolerate mixed situations like "GCD" vs. "~~/src/HOL/GCD";
src/Pure/PIDE/resources.scala

2017-04-04 wenzelm [Tue, 04 Apr 2017 15:05:00 +0200] rev 65367
tuned headers;
src/HOL/Library/Cancellation/cancel.ML src/HOL/Library/Cancellation/cancel_data.ML src/HOL/Library/Cancellation/cancel_simprocs.ML src/Pure/Tools/spell_checker.scala src/Tools/VSCode/src/build_vscode.scala

2017-04-04 wenzelm [Tue, 04 Apr 2017 11:52:28 +0200] rev 65366
proper imports;
tuned headers;
src/HOL/Library/Combine_PER.thy src/HOL/Library/Complete_Partial_Order2.thy src/HOL/Library/Extended.thy src/HOL/Library/Multiset_Permutations.thy src/HOL/Library/Normalized_Fraction.thy src/HOL/Library/Polynomial.thy src/HOL/Library/Polynomial_FPS.thy src/HOL/Library/Polynomial_Factorial.thy src/HOL/Library/Stream.thy

2017-04-03 wenzelm [Mon, 03 Apr 2017 23:31:31 +0200] rev 65365
tuned message;
src/Pure/Tools/build.scala

2017-04-03 wenzelm [Mon, 03 Apr 2017 23:12:44 +0200] rev 65364
merged