Fri, 06 Dec 2019 17:03:58 +0100 cleaning
nipkow [Fri, 06 Dec 2019 17:03:58 +0100] rev 71244
cleaning
Fri, 06 Dec 2019 14:36:11 +0100 tuned
nipkow [Fri, 06 Dec 2019 14:36:11 +0100] rev 71243
tuned
Thu, 05 Dec 2019 21:03:06 +0100 separated Affine theory from Convex
nipkow [Thu, 05 Dec 2019 21:03:06 +0100] rev 71242
separated Affine theory from Convex
Thu, 05 Dec 2019 19:53:41 +0100 merged
nipkow [Thu, 05 Dec 2019 19:53:41 +0100] rev 71241
merged
Thu, 05 Dec 2019 18:26:11 +0100 tuned
nipkow [Thu, 05 Dec 2019 18:26:11 +0100] rev 71240
tuned
Thu, 05 Dec 2019 12:09:35 +0000 proper table data structure
haftmann [Thu, 05 Dec 2019 12:09:35 +0000] rev 71239
proper table data structure
Thu, 05 Dec 2019 12:09:33 +0000 removed some vain declarations
haftmann [Thu, 05 Dec 2019 12:09:33 +0000] rev 71238
removed some vain declarations
Thu, 05 Dec 2019 13:51:09 +0100 merged
nipkow [Thu, 05 Dec 2019 13:51:09 +0100] rev 71237
merged
Thu, 05 Dec 2019 11:21:17 +0100 made Starlike independent of Abstract_Limits
nipkow [Thu, 05 Dec 2019 11:21:17 +0100] rev 71236
made Starlike independent of Abstract_Limits
Thu, 05 Dec 2019 09:24:34 +0000 more direct accessors for simpset
haftmann [Thu, 05 Dec 2019 09:24:34 +0000] rev 71235
more direct accessors for simpset
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip