Tags

Tags give the ability to mark specific points in history as being important

v4.7.1

0714d9d0 · Cross-build for Scala 2.13.0 · Jun 18, 2019
```
Release version 4.7.1
```
Unverified
v2.1.1

5710b4b3 · Remove jars from repo and pcakage them in github under "Releases" instead · May 26, 2014
```
Release 2.1.1, fix releases on win/osx
```
v2.1

76b60b87 · Release ScalaZ3 2.1 with libz3 bundled · Oct 18, 2013
```
Version 2.1
```