Skip to content

v0.11.16

Compare
Choose a tag to compare
@github-actions github-actions released this 03 May 11:30
· 41 commits to master since this release
5a52408

Polymake v0.11.16

Diff since v0.11.15

Merged pull requests:

Closed issues:

  • Better automatic Polymake banner hiding (#412)