17 months ago wenzelm [Tue, 07 Nov 2017 21:32:22 +0100] rev 67029
clarified signature (again);
src/Pure/Thy/sessions.scala

17 months ago wenzelm [Tue, 07 Nov 2017 17:16:53 +0100] rev 67028
clarified exclusion: operate on completed selection, as last step;
src/Pure/Thy/sessions.scala

17 months ago wenzelm [Tue, 07 Nov 2017 17:21:39 +0100] rev 67027
tuned;
src/Pure/Thy/sessions.scala

17 months ago wenzelm [Tue, 07 Nov 2017 16:50:26 +0100] rev 67026
tuned signature;
src/Pure/Admin/afp.scala src/Pure/Admin/build_doc.scala src/Pure/ML/ml_process.scala src/Pure/Thy/sessions.scala src/Pure/Tools/build.scala src/Pure/Tools/imports.scala src/Tools/jEdit/src/jedit_sessions.scala

17 months ago wenzelm [Tue, 07 Nov 2017 16:44:25 +0100] rev 67025
clarifified selection: always wrt. build_graph structure;
tuned signature;
src/Pure/Admin/afp.scala src/Pure/ML/ml_process.scala src/Pure/Thy/sessions.scala src/Pure/Tools/build.scala src/Pure/Tools/imports.scala

17 months ago wenzelm [Tue, 07 Nov 2017 15:50:36 +0100] rev 67024
tuned;
src/Pure/Thy/sessions.scala src/Tools/jEdit/src/jedit_sessions.scala

17 months ago wenzelm [Tue, 07 Nov 2017 15:45:33 +0100] rev 67023
tuned signature;
src/Pure/Admin/build_doc.scala src/Pure/Thy/sessions.scala src/Pure/Tools/imports.scala src/Tools/jEdit/src/jedit_sessions.scala

17 months ago blanchet [Tue, 07 Nov 2017 15:16:42 +0100] rev 67022
more robust parsing for THF proofs (esp. polymorphic Leo-III proofs)
src/HOL/Tools/ATP/atp_proof.ML src/HOL/Tools/ATP/atp_satallax.ML

17 months ago blanchet [Tue, 07 Nov 2017 15:16:41 +0100] rev 67021
integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch)
src/Doc/Sledgehammer/document/root.tex src/Doc/manual.bib src/HOL/Tools/ATP/atp_proof.ML src/HOL/Tools/ATP/atp_systems.ML

17 months ago blanchet [Tue, 07 Nov 2017 15:16:40 +0100] rev 67020
added FIXMEs
src/HOL/Library/Multiset_Order.thy