Permalink
Browse files

* File for connectionstring

* Connects to pgsql now
  • Loading branch information...
1 parent f53d226 commit 9a21578ecaa9a26d26e2699d899ad80bd457e531 @spockz spockz committed Nov 22, 2011
View
@@ -1,5 +1,5 @@
Name: JCU
-Version: 0.3
+Version: 0.4
Synopsis: Online application for visualizing Prolog proof trees.
Description: This package was developed to demonstrate the ideas behind
the Prolog language. It uses a very small interpreter
@@ -14,7 +14,7 @@ Description: This package was developed to demonstrate the ideas behind
anything on their own machines.
License: BSD3
license-file: LICENSE
-Author: Jurriën Stutterheim, Doaitse Swierstra
+Author: Jurriën Stutterheim, Alessandro Vermeulen, Doaitse Swierstra
Maintainer: Jurriën Stutterheim <j.stutterheim@uu.nl>
Homepage: http://www.cs.uu.nl/wiki/PrologJCU
Stability: Experimental
@@ -50,7 +50,7 @@ Executable jcu
digestive-functors-snap >= 0.1.1 && < 0.3,
email-validate >= 0.2.6,
HDBC >= 2.2,
- HDBC-sqlite3 >= 2.3,
+ HDBC-postgresql >= 2.1,
ListLike >= 3.1 && < 3.2,
MonadCatchIO-transformers >= 0.2.1 && < 0.3,
mtl >= 2.0,
@@ -0,0 +1 @@
+hostaddr=127.0.0.1 port=5432 dbname=jcu user=jcu password=kippetje
@@ -44,7 +44,7 @@ ul.tree,ul.tree ul{list-style-type:none;margin:0;padding:0}
#proof-tree-div{margin-bottom:5px}
.lhsText{width:375px;text-align:justify}
#proof_0{border:1px solid #000}
-input[disabled="disabled"]{border:1px solid #666;color:#111}
+input[disabled='disabled']{border:1px solid #666;color:#111}
form{width:400px;margin-bottom:50px}
form div{clear:both;padding-top:5px}
form div label{float:left;width:175px;text-align:right}
Oops, something went wrong.

0 comments on commit 9a21578

Please sign in to comment.