tableaux 0.2 → 0.3

raw patch · 4 files changed

+15/−14 lines, 4 filesdep ~QuickCheckdep ~cgidep ~containers

Dependency ranges changed: QuickCheck, cgi, containers, html, mtl, parsec

Files

RELEASE-NOTES +2/−1
src/Main.hs +1/−1
src/Parser.hs +1/−1
tableaux.cabal +11/−11

RELEASE-NOTES view

@@ -1,2 +1,3 @@ 0.1 - initial release  23/09/2010-+0.2 - ?+0.3 - fixed ambiguous import with more recent QuickCheck library 21/07/2023

src/Main.hs view

@@ -128,7 +128,7 @@   signature =-    address << [toHtml "Pedro Vasconcelos <pbv@ncc.up.pt>",+    address << [toHtml "Pedro Vasconcelos <pbv@dcc.fc.up.pt>",                 br,                 toHtml "LIACC, University of Porto, PORTUGAL"]

src/Parser.hs view

@@ -14,7 +14,7 @@ import Control.Monad import Data.Char import Data.List (intersperse)-import Test.QuickCheck+import Test.QuickCheck hiding (Fun)  -- setup a tokenizer lexer :: P.TokenParser ()

tableaux.cabal view

@@ -1,5 +1,5 @@ name:    tableaux-version: 0.2+version: 0.3  category: Theorem Provers @@ -13,28 +13,28 @@   web server supporting the CGI interface.    -author:     Pedro Vasconcelos <pbv@ncc.up.pt>-maintainer: Pedro Vasconcelos <pbv@ncc.up.pt>+author:     Pedro Vasconcelos <pbv@dcc.fc.up.pt>+maintainer: Pedro Vasconcelos <pbv@dcc.fc.up.pt>  license:      BSD3 license-file: LICENSE  build-type:    Simple-cabal-version: >= 1.6+cabal-version: >= 1.10  extra-source-files:   README INSTALL RELEASE-NOTES   executable tableaux.cgi+  default-language: Haskell2010   hs-source-dirs:   src   main-is:          Main.hs   other-modules:    FOL Unify Tableaux Markup CSS Parser Zipper Examples Util    build-depends:     base       >= 4       && < 5,-    containers,-    mtl >= 1.1,-    html >= 1.0,-    parsec >= 2.1,-    cgi >= 3001.1,-    QuickCheck >= 2.1-+    QuickCheck       >= 2.13.2 && < 2.14,+    containers       >= 0.6.2 && < 0.7,+    cgi              >= 3001.5.0 && < 3001.6,+    mtl              >= 2.2.2 && < 2.3,+    parsec           >= 3.1.14 && < 3.2,+    html             >= 1.0.1 && < 1.1