isabelle: Changelog

wenzelm [Tue, 07 Nov 2017 21:46:28 +0100] rev 67031

merged

wenzelm [Tue, 07 Nov 2017 21:40:53 +0100] rev 67030

proper build_selection for clean_build (amending 961285f581e6): e.g. relevant for "isabelle build_doc";

wenzelm [Tue, 07 Nov 2017 21:32:22 +0100] rev 67029

clarified signature (again);

wenzelm [Tue, 07 Nov 2017 17:16:53 +0100] rev 67028

clarified exclusion: operate on completed selection, as last step;

wenzelm [Tue, 07 Nov 2017 17:21:39 +0100] rev 67027

tuned;

wenzelm [Tue, 07 Nov 2017 16:50:26 +0100] rev 67026

tuned signature;

wenzelm [Tue, 07 Nov 2017 16:44:25 +0100] rev 67025

clarifified selection: always wrt. build_graph structure; tuned signature;

wenzelm [Tue, 07 Nov 2017 15:50:36 +0100] rev 67024

tuned;

wenzelm [Tue, 07 Nov 2017 15:45:33 +0100] rev 67023

tuned signature;

blanchet [Tue, 07 Nov 2017 15:16:42 +0100] rev 67022

more robust parsing for THF proofs (esp. polymorphic Leo-III proofs)

isabelle