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;
Wed, 09 Dec 2020 10:51:45 +0100 added lemmas
nipkow [Wed, 09 Dec 2020 10:51:45 +0100] rev 73089
added lemmas
Tue, 08 Dec 2020 17:59:55 +0100 new lemmas draft
nipkow [Tue, 08 Dec 2020 17:59:55 +0100] rev 73088
new lemmas
Tue, 08 Dec 2020 17:40:43 +0100 tuned
nipkow [Tue, 08 Dec 2020 17:40:43 +0100] rev 73087
tuned
Mon, 07 Dec 2020 22:28:41 +0100 spelling;
wenzelm [Mon, 07 Dec 2020 22:28:41 +0100] rev 73086
spelling;
Mon, 07 Dec 2020 22:02:57 +0100 tuned;
wenzelm [Mon, 07 Dec 2020 22:02:57 +0100] rev 73085
tuned;
Mon, 07 Dec 2020 21:49:39 +0100 read theory with PIDE markup from session database;
wenzelm [Mon, 07 Dec 2020 21:49:39 +0100] rev 73084
read theory with PIDE markup from session database;
Mon, 07 Dec 2020 20:26:09 +0100 clarified signature: provide XZ.Cache where Export.Entry is created;
wenzelm [Mon, 07 Dec 2020 20:26:09 +0100] rev 73083
clarified signature: provide XZ.Cache where Export.Entry is created;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip