isabelle: Changelog

wenzelm [Fri, 06 Oct 2017 21:33:33 +0200] rev 66773

tuned signature;

wenzelm [Fri, 06 Oct 2017 21:23:21 +0200] rev 66772

even more robust syntax (amending 122df1fde073);

wenzelm [Fri, 06 Oct 2017 21:14:00 +0200] rev 66771

clarified error for bad session-qualified imports;

wenzelm [Fri, 06 Oct 2017 17:13:57 +0200] rev 66770

clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header;

wenzelm [Thu, 05 Oct 2017 17:39:36 +0200] rev 66769

merged

wenzelm [Thu, 05 Oct 2017 17:37:47 +0200] rev 66768

completion supports theory header imports; tuned;

wenzelm [Thu, 05 Oct 2017 16:33:36 +0200] rev 66767

clarified modules;

wenzelm [Thu, 05 Oct 2017 14:58:04 +0200] rev 66766

tuned signature;

paulson <lp15@cam.ac.uk> [Thu, 05 Oct 2017 15:35:24 +0100] rev 66765

new theorem at_within_cbox_finite

wenzelm [Wed, 04 Oct 2017 20:16:53 +0200] rev 66764

process ROOT files only once, which allows duplicate (or overlapping) session root directories;

isabelle