isabelle: Changelog

wenzelm [Thu, 09 Sep 2021 10:40:57 +0200] rev 74265

tuned;

wenzelm [Wed, 08 Sep 2021 08:41:36 +0200] rev 74264

simplified: uniqueness check happens in export_consumer;

wenzelm [Tue, 07 Sep 2021 22:35:44 +0200] rev 74263

more markup, e.g. to locate defining theory node in formal document output;

wenzelm [Tue, 07 Sep 2021 21:47:50 +0200] rev 74262

tuned signature;

wenzelm [Tue, 07 Sep 2021 21:16:22 +0200] rev 74261

export other entities, e.g. relevant for formal document output; clarified markup kind (PIDE) vs. export kind (e.g. MMT);

wenzelm [Tue, 07 Sep 2021 20:27:06 +0200] rev 74260

pointer_eq_ord: minor performance tuning;

wenzelm [Tue, 07 Sep 2021 17:13:34 +0200] rev 74259

more robust: progress.stopped means that build has failed;

wenzelm [Tue, 07 Sep 2021 17:07:28 +0200] rev 74258

more reactive interrupt;

wenzelm [Tue, 07 Sep 2021 16:54:28 +0200] rev 74257

more reactive interrupt;

wenzelm [Tue, 07 Sep 2021 16:46:18 +0200] rev 74256

more robust: retain length of results;

isabelle