isabelle: Changelog

wenzelm [Thu, 09 Sep 2021 14:05:31 +0200] rev 74268

tuned message;

wenzelm [Thu, 09 Sep 2021 13:47:29 +0200] rev 74267

tuned whitespace;

wenzelm [Thu, 09 Sep 2021 12:33:14 +0200] rev 74266

clarified signature; clarified modules;

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;

isabelle