search

gap-packages / Thelma

GAP Package on threshold logic.
https://gap-packages.github.io/Thelma
Other
1 stars 2 forks source link

Restore lost changes #17

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

I think @vlaver accidentally overwrote several merged pull requests, so let's restore them:

fingolfin commented 2 years ago

We also could just drop PR #14 as Travis integration has to be replaced anyway, see PR #18