| Fri, 06 Dec 2019 11:43:29 +0100 | wenzelm | clarified modules; | changeset | files |
| Fri, 06 Dec 2019 11:36:20 +0100 | wenzelm | misc tuning and clarification: proper check of datatype kind; | changeset | files |
| Fri, 06 Dec 2019 11:12:55 +0100 | wenzelm | clarified modules; | changeset | files |
| Fri, 06 Dec 2019 17:03:58 +0100 | nipkow | cleaning | changeset | files |
| Fri, 06 Dec 2019 14:36:11 +0100 | nipkow | tuned | changeset | files |
| Thu, 05 Dec 2019 21:03:06 +0100 | nipkow | separated Affine theory from Convex | changeset | files |
| Thu, 05 Dec 2019 19:53:41 +0100 | nipkow | merged | changeset | files |
| Thu, 05 Dec 2019 18:26:11 +0100 | nipkow | tuned | changeset | files |
| Thu, 05 Dec 2019 12:09:35 +0000 | haftmann | proper table data structure | changeset | files |
| Thu, 05 Dec 2019 12:09:33 +0000 | haftmann | removed some vain declarations | changeset | files |
| Thu, 05 Dec 2019 13:51:09 +0100 | nipkow | merged | changeset | files |
| Thu, 05 Dec 2019 11:21:17 +0100 | nipkow | made Starlike independent of Abstract_Limits | changeset | files |
| Thu, 05 Dec 2019 09:24:34 +0000 | haftmann | more direct accessors for simpset | changeset | files |
| Wed, 04 Dec 2019 20:25:21 +0000 | haftmann | regular merge with no historization, in accordance with regular update | changeset | files |
| Wed, 04 Dec 2019 23:11:29 +0100 | nipkow | moved starlike where it belongs | changeset | files |