Changeset [b10069b0c92198f6f330d8f98788ff2e8d735101] by Douglas Creager

November 21st, 2008 @ 01:58 PM

Committed by Douglas Creager

  • M doc/releases/highlights-1.0-α3.txt
  • M doc/releases/shortlog-1.0-α3.txt
New-ticket Create new ticket

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.