Thu, 09 Sep 2021 15:45:27 +0200 clarified modules;
wenzelm [Thu, 09 Sep 2021 15:45:27 +0200] rev 74617
clarified modules;
Thu, 09 Sep 2021 14:50:26 +0200 clarified set of items with order of addition;
wenzelm [Thu, 09 Sep 2021 14:50:26 +0200] rev 74616
clarified set of items with order of addition;
Thu, 09 Sep 2021 14:05:31 +0200 tuned message;
wenzelm [Thu, 09 Sep 2021 14:05:31 +0200] rev 74615
tuned message;
Thu, 09 Sep 2021 13:47:29 +0200 tuned whitespace;
wenzelm [Thu, 09 Sep 2021 13:47:29 +0200] rev 74614
tuned whitespace;
Thu, 09 Sep 2021 12:33:14 +0200 clarified signature;
wenzelm [Thu, 09 Sep 2021 12:33:14 +0200] rev 74613
clarified signature; clarified modules;
Thu, 09 Sep 2021 10:40:57 +0200 tuned;
wenzelm [Thu, 09 Sep 2021 10:40:57 +0200] rev 74612
tuned;
Wed, 08 Sep 2021 08:41:36 +0200 simplified: uniqueness check happens in export_consumer;
wenzelm [Wed, 08 Sep 2021 08:41:36 +0200] rev 74611
simplified: uniqueness check happens in export_consumer;
Fri, 10 Sep 2021 11:17:19 +0200 tuned;
Fabian Huch <huch@in.tum.de> [Fri, 10 Sep 2021 11:17:19 +0200] rev 74610
tuned;
Fri, 10 Sep 2021 11:17:03 +0200 tuned html presentation (only use offset ids for refs in same theory that are actually used);
Fabian Huch <huch@in.tum.de> [Fri, 10 Sep 2021 11:17:03 +0200] rev 74609
tuned html presentation (only use offset ids for refs in same theory that are actually used);
Thu, 09 Sep 2021 18:35:59 +0200 tuned html presentation (uses def_theory markup now);
Fabian Huch <huch@in.tum.de> [Thu, 09 Sep 2021 18:35:59 +0200] rev 74608
tuned html presentation (uses def_theory markup now);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip