Changeset [fbcd8c4b5312ecd1ddaf1ad9f45a27c92781fe32] by Douglas Creager

April 1st, 2009 @ 10:05 PM

Committed by Douglas Creager

  • M doc/releases/highlights-1.0-α4.txt
  • M doc/releases/shortlog-1.0-α4.txt
  • M packaging/mac/HST.pmdoc/01hst.xml
  • M packaging/mac/Info.plist
  • M packaging/mac/create-pkg.sh
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.