Skip to content

4.2.2
Compare
Choose a tag to compare
@selig selig released this 14 Dec 18:41
· 3756 commits to master since this release
4.2.2
e1949dd

A stable version tagged as Vampire code is made available publicly. Corresponds (roughly) to the version used in the ASE 2017 tutorial.

Assets 2