dcreager / hst forked from hst/hst

An open-source refinement checker for the CSP process algebra

This URL has Read+Write access

dcreager (author)
Sat Aug 30 13:47:18 -0700 2008
commit  37739ef6e867fa53cb039c707bf15d4e1affd1ba
tree    bd66e4392f5dfff3c5111189e23ac2cde766155b
parent  2a3f31e387e7b41c1856ff79a47ad5bfebdea5cc
hst / cspm
name age message
..
file .gitignore Loading commit data...
file HST.cabal
file LICENSE Sat Feb 23 14:11:47 -0800 2008 Fixes to basic documentation set I've made som... [dcreager]
file Setup.lhs
directory src/
directory tests/