Wed, 09 Dec 2020 23:30:12 +0100 merged
wenzelm [Wed, 09 Dec 2020 23:30:12 +0100] rev 73099
merged
Wed, 09 Dec 2020 22:07:14 +0100 clarified protocol: support "isabelle log" on failed theories as well;
wenzelm [Wed, 09 Dec 2020 22:07:14 +0100] rev 73098
clarified protocol: support "isabelle log" on failed theories as well;
Wed, 09 Dec 2020 20:33:02 +0100 tuned comments;
wenzelm [Wed, 09 Dec 2020 20:33:02 +0100] rev 73097
tuned comments;
Wed, 09 Dec 2020 20:19:27 +0100 clarified signature;
wenzelm [Wed, 09 Dec 2020 20:19:27 +0100] rev 73096
clarified signature;
Wed, 09 Dec 2020 20:10:10 +0100 added "isabelle log": print messages from build database;
wenzelm [Wed, 09 Dec 2020 20:10:10 +0100] rev 73095
added "isabelle log": print messages from build database;
Wed, 09 Dec 2020 15:53:45 +0100 clarified signature;
wenzelm [Wed, 09 Dec 2020 15:53:45 +0100] rev 73094
clarified signature;
Wed, 09 Dec 2020 15:14:24 +0100 clarified signature;
wenzelm [Wed, 09 Dec 2020 15:14:24 +0100] rev 73093
clarified signature;
Wed, 09 Dec 2020 14:29:30 +0100 tuned signature;
wenzelm [Wed, 09 Dec 2020 14:29:30 +0100] rev 73092
tuned signature;
Tue, 08 Dec 2020 17:30:24 +0100 clarified signature;
wenzelm [Tue, 08 Dec 2020 17:30:24 +0100] rev 73091
clarified signature;
Tue, 08 Dec 2020 16:30:17 +0100 clarified signature: name according to db model without Sessions.Structure/Deps;
wenzelm [Tue, 08 Dec 2020 16:30:17 +0100] rev 73090
clarified signature: name according to db model without Sessions.Structure/Deps;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip