isabelle: Changelog

wenzelm [Thu, 12 Oct 2017 15:58:18 +0200] rev 66851

more informative Imports.Report with actual session imports (minimized);

wenzelm [Thu, 12 Oct 2017 11:39:54 +0200] rev 66850

more robust: allow URLs;

wenzelm [Thu, 12 Oct 2017 11:39:06 +0200] rev 66849

more robust: allow Windows file names;

wenzelm [Thu, 12 Oct 2017 11:25:06 +0200] rev 66848

clarified signature;

nipkow [Thu, 12 Oct 2017 05:37:58 +0200] rev 66847

relaxed assm

wenzelm [Wed, 11 Oct 2017 21:41:11 +0200] rev 66846

back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);

wenzelm [Wed, 11 Oct 2017 21:36:53 +0200] rev 66845

reactivated unfinished tool (cf. a3a847c4fbdb);

wenzelm [Wed, 11 Oct 2017 20:57:12 +0200] rev 66844

tuned whitespace;

wenzelm [Wed, 11 Oct 2017 20:55:11 +0200] rev 66843

clarified meta_digest;

wenzelm [Wed, 11 Oct 2017 20:46:38 +0200] rev 66842

tuned;

isabelle