Changeset [b10069b0c92198f6f330d8f98788ff2e8d735101] by Douglas Creager
November 21st, 2008 @ 01:58 PM
Releasing 1.0-α3 http://github.com/hst/hst/commit...
Committed by Douglas Creager
- M doc/releases/highlights-1.0-α3.txt
- M doc/releases/shortlog-1.0-α3.txt
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.