isabelle: Changelog

blanchet [Wed, 30 Mar 2016 15:16:50 +0200] rev 62756

more 'corec' docs

wenzelm [Tue, 29 Mar 2016 23:45:28 +0200] rev 62755

merged

wenzelm [Tue, 29 Mar 2016 23:41:28 +0200] rev 62754

proper session dirs for "isabelle jedit" and "isabelle console" with options -d and -l;

wenzelm [Tue, 29 Mar 2016 22:22:12 +0200] rev 62753

tuned messages -- more positions;

wenzelm [Tue, 29 Mar 2016 21:17:29 +0200] rev 62752

more position information for type mixfix;

wenzelm [Tue, 29 Mar 2016 20:53:52 +0200] rev 62751

tuned signature;

wenzelm [Tue, 29 Mar 2016 20:52:19 +0200] rev 62750

proper norm_props, e.g. relevant for ML pp;

wenzelm [Tue, 29 Mar 2016 16:20:48 +0200] rev 62749

clarified reports; tuned signature;

wenzelm [Tue, 29 Mar 2016 14:03:26 +0200] rev 62748

tuned signature;

blanchet [Tue, 29 Mar 2016 21:25:19 +0200] rev 62747

more 'corec' docs

isabelle