Tue, 07 Sep 2021 15:15:13 +0200 tuned signature;
wenzelm [Tue, 07 Sep 2021 15:15:13 +0200] rev 74597
tuned signature;
Tue, 07 Sep 2021 15:10:53 +0200 tuned signature;
wenzelm [Tue, 07 Sep 2021 15:10:53 +0200] rev 74596
tuned signature;
Tue, 07 Sep 2021 15:05:57 +0200 tuned signature;
wenzelm [Tue, 07 Sep 2021 15:05:57 +0200] rev 74595
tuned signature;
Tue, 07 Sep 2021 15:02:53 +0200 tuned;
wenzelm [Tue, 07 Sep 2021 15:02:53 +0200] rev 74594
tuned;
Mon, 30 Aug 2021 11:00:31 +0200 merged
Fabian Huch <huch@in.tum.de> [Mon, 30 Aug 2021 11:00:31 +0200] rev 74593
merged
Thu, 26 Aug 2021 11:38:04 +0200 html output: tuned;
Fabian Huch <huch@in.tum.de> [Thu, 26 Aug 2021 11:38:04 +0200] rev 74592
html output: tuned;
Thu, 26 Aug 2021 10:46:26 +0200 html output: tuned;
Fabian Huch <huch@in.tum.de> [Thu, 26 Aug 2021 10:46:26 +0200] rev 74591
html output: tuned;
Wed, 25 Aug 2021 10:20:11 +0200 html output: added references;
Fabian Huch <huch@in.tum.de> [Wed, 25 Aug 2021 10:20:11 +0200] rev 74590
html output: added references;
Tue, 07 Sep 2021 15:05:42 +0200 merged; order-prover
Lukas Stevens <mail@lukas-stevens.de> [Tue, 07 Sep 2021 15:05:42 +0200] rev 74589
merged;
Tue, 07 Sep 2021 14:42:07 +0200 merged; closure-solver
Lukas Stevens <mail@lukas-stevens.de> [Tue, 07 Sep 2021 14:42:07 +0200] rev 74588
merged;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip