isabelle: Changelog

paulson <lp15@cam.ac.uk> [Mon, 28 May 2018 23:15:23 +0100] rev 68310

more general tidying

wenzelm [Mon, 28 May 2018 22:29:52 +0200] rev 68309

merged

wenzelm [Mon, 28 May 2018 22:25:10 +0200] rev 68308

support to dump build database produced by PIDE session;

wenzelm [Mon, 28 May 2018 21:29:03 +0200] rev 68307

more accurate theory_graph: avoid imports of loaded_theories with incomplete node name;

wenzelm [Mon, 28 May 2018 17:40:34 +0200] rev 68306

clarified signature: Known.theories retains Document.Node.Entry (with header);

wenzelm [Mon, 28 May 2018 13:35:43 +0200] rev 68305

clarified signature;

wenzelm [Mon, 28 May 2018 11:15:17 +0200] rev 68304

tuned signature;

paulson [Sun, 27 May 2018 22:57:06 +0100] rev 68303

merged

paulson <lp15@cam.ac.uk> [Sun, 27 May 2018 22:56:43 +0100] rev 68302

tidying up a bit more

wenzelm [Sun, 27 May 2018 23:15:47 +0200] rev 68301

prefer existing operation;

isabelle