| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-04-05 | quint specification language v0.9.0 | Ranadeep Biswas |
| 2017-06-14 | Move to tagged based versioning | Donald Carr |
| 2017-06-12 | Clean up quint packaging | Donald Carr |
| 2016-08-11 | Adjust info | Donald Carr |
| 2016-02-26 | Fix various oversights | Donald Carr |
| 2016-02-26 | Initial commit of quint | Donald Carr |