afv 0.1.0 → 0.1.1

raw patch · 3 files changed

+9/−4 lines, 3 files

Files

RELEASE-NOTES +4/−0
afv.cabal +4/−3
src/AFV.hs +1/−1

RELEASE-NOTES view

@@ -1,3 +1,7 @@+afv 0.1.1    03/31/10++- Moved repo to github.+ afv 0.1.0    01/24/10  - Moved functon calls and assignments to statement position only.

afv.cabal view

@@ -1,5 +1,5 @@ name:    afv-version: 0.1.0+version: 0.1.1  category: Formal Methods @@ -50,5 +50,6 @@   extensions:  source-repository head-  type:     darcs-  location: http://patch-tag.com/r/tomahawkins/afv/pullrepo+  type:     git+  location: git://github.com/tomahawkins/afv.git+

src/AFV.hs view

@@ -8,7 +8,7 @@ import Parse import Verify -version = "0.1.0"+version = "0.1.1"  main :: IO () main = do