free-theorems-counterexamples 0.3 → 0.3.0.1
raw patch · 2 files changed
+6/−3 lines, 2 files
Files
counterexamples-cgi.hs view
@@ -121,7 +121,7 @@ main = runCGI (handleErrors cgiMain) cgiMain = do- setHeader "Content-type" "text/xml; charset=UTF-8"+ setHeader "Content-type" "text/html; charset=UTF-8" mTypeStr <- getInput "type" @@ -167,7 +167,10 @@ maindiv = thediv ! [theclass "main"] -cdata s = primHtml ("<![CDATA[\n"++ s ++ "\n]]>")+cdata s = primHtml $ + -- ("<![CDATA[\n"++ + s + -- ++ "\n]]>") cssStyle = unlines [ "body { padding:0px; margin: 0px; }"
free-theorems-counterexamples.cabal view
@@ -1,5 +1,5 @@ name: free-theorems-counterexamples-version: 0.3+version: 0.3.0.1 license: PublicDomain author: Daniel Seidel, Joachim Breitner maintainer: ds@iai.uni-bonn.de