isabelle: Changelog

wenzelm [Thu, 10 Dec 2020 15:21:55 +0100] rev 72867

clarified output of Isabelle symbols;

wenzelm [Thu, 10 Dec 2020 15:08:31 +0100] rev 72866

tuned signature;

wenzelm [Thu, 10 Dec 2020 14:51:56 +0100] rev 72865

clarified file sources: take from build database instead of file-system;

wenzelm [Thu, 10 Dec 2020 14:31:34 +0100] rev 72864

tuned;

wenzelm [Thu, 10 Dec 2020 14:13:03 +0100] rev 72863

tuned messages;

wenzelm [Wed, 09 Dec 2020 23:30:12 +0100] rev 72862

merged

wenzelm [Wed, 09 Dec 2020 22:07:14 +0100] rev 72861

clarified protocol: support "isabelle log" on failed theories as well;

wenzelm [Wed, 09 Dec 2020 20:33:02 +0100] rev 72860

tuned comments;

wenzelm [Wed, 09 Dec 2020 20:19:27 +0100] rev 72859

clarified signature;

wenzelm [Wed, 09 Dec 2020 20:10:10 +0100] rev 72858

added "isabelle log": print messages from build database;

isabelle