[project @ 2005-04-28 10:36:38 by simonmar]
authorsimonmar <unknown>
Thu, 28 Apr 2005 10:36:38 +0000 (10:36 +0000)
committersimonmar <unknown>
Thu, 28 Apr 2005 10:36:38 +0000 (10:36 +0000)
commitc6f06028e74b883a998bce80a90db47685ab9062
tree43dfffba4d71c49c6ceecc3a167a0879cd98a257
parent1e1e959c2259fbb5f5e40527b68ce889e961d8eb
[project @ 2005-04-28 10:36:38 by simonmar]
mode=slow
spectral/clausify/Main.hs
spectral/clausify/Makefile