Changeset: Changeset [dedd0a41c52d715a92ce2d61f940e6a9e199f20a] by Douglas Creager

Type	To find
responsible:me	tickets assigned to you
tagged:"@high"	tickets tagged @high
milestone:next	tickets in the upcoming milestone
state:invalid	tickets with the state invalid
created:"last week"	tickets created last week
sort:number, importance, updated	tickets sorted by #, importance or updated
Combine keywords for powerful searching.
Use advanced searching »

Changeset [dedd0a41c52d715a92ce2d61f940e6a9e199f20a] by Douglas Creager

November 20th, 2008 @ 09:27 PM

Updating README and INSTALL to mention CSPM library

This patch adds some information about the Haskell CSPM library to the README and INSTALL files. http://github.com/hst/hst/commit...

Committed by Douglas Creager

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.