Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
polydb [2019/01/25 13:56] – ↷ Page name changed from data to polydb oroehrig | polydb [2019/01/29 21:46] – external edit 127.0.0.1 | ||
---|---|---|---|
Line 5: | Line 5: | ||
* [[https:// | * [[https:// | ||
* [[https:// | * [[https:// | ||
- | * [[devel/ | + | * [[dev_corner: |
====== Other data in polymake format ====== | ====== Other data in polymake format ====== |