isabelle: Changelog

wenzelm [Sat, 02 Jun 2018 19:52:16 +0200] rev 68352

less frequent consolidation: it requires a full Document.update and Document.start_execution;

wenzelm [Fri, 01 Jun 2018 22:01:43 +0200] rev 68351

varify frees, notably dangling_params (see also e0cd57aeb60c);

wenzelm [Fri, 01 Jun 2018 22:00:50 +0200] rev 68350

tuned -- more explicit expression;

wenzelm [Fri, 01 Jun 2018 15:57:28 +0200] rev 68349

merged

wenzelm [Fri, 01 Jun 2018 15:53:35 +0200] rev 68348

documentation for "isabelle dump";

wenzelm [Fri, 01 Jun 2018 11:51:03 +0200] rev 68347

more dump aspects, with options; tuned signature;

wenzelm [Fri, 01 Jun 2018 11:50:20 +0200] rev 68346

tuned signature;

wenzelm [Fri, 01 Jun 2018 11:10:22 +0200] rev 68345

clarified default: all aspects;

wenzelm [Fri, 01 Jun 2018 10:56:01 +0200] rev 68344

clarified priority;

nipkow [Fri, 01 Jun 2018 13:32:55 +0200] rev 68343

merged

isabelle