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
Wed, 04 Dec 2019 20:25:21 +0000 regular merge with no historization, in accordance with regular update
haftmann [Wed, 04 Dec 2019 20:25:21 +0000] rev 71234
regular merge with no historization, in accordance with regular update
Wed, 04 Dec 2019 23:11:29 +0100 moved starlike where it belongs
nipkow [Wed, 04 Dec 2019 23:11:29 +0100] rev 71233
moved starlike where it belongs
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip