Name: free-theorems-webui
Version: 0.2
Synopsis: CGI-based web interface for the free-theorems package.
Description:
This package provides access to the functionality of <http://hackage.haskell.org/package/free-theorems>
through a web interface.
.
An online version can be seen at <http://www-ps.iai.uni-bonn.de/ft/>,
where you can also find a more detailed description of the functionality.
.
There is also a shell based interface: <http://hackage.haskell.org/package/ftshell>.
.
The CGI binary is called "free-theorems-webui.cgi".
.
To start it locally for offline usage, just call "free-theorems-webui" after installation. (This needs python)
License: PublicDomain
Category: Language
Author: Matthias Bartsch
Maintainer: bartsch@cs.uni-bonn.de
Cabal-Version: >= 1.2
Build-type: Simple
Data-files:
style.css
ui-tweaks.js
lambdaTeX.tex
runLocalServer.py
Extra-source-files:
BeautifyTeXOutput.hs
FTTools.hs
GeneratePDF.hs
KnownDeclarations.hs
LogRequests.hs
Main.hs
Pages.hs
TypesetAsImage.hs
default_config/Paths.hs
our_server_config/Paths.hs
Flag our_server
description:
Use the path configuration from "our_server_config/"
instead of "default_config/".
.
After compilation, the application will only work
with the folder layout on our server.
.
See "our_server_config/Paths.hs" for details.
default:
False
Executable free-theorems-webui.cgi
main-is: Main.hs
build-depends: base >= 3.0.3.1 && <5
, free-theorems >= 0.3.1.2
, csv >= 0.1.1
, cgi >= 3001.1.7.1
, time >= 1.1.4
, bytestring >= 0.9.1.4
, directory >= 1.0.0.2
, filepath >= 1.1.0.1
, xhtml >= 3000-2-0-1
, dataenc
, haskell98
if flag(our_server)
hs-source-dirs: . our_server_config
else
hs-source-dirs: . default_config
-- This is just a wrapper for the included Python script
-- used to start a local CGI server for offline use.
Executable free-theorems-webui
main-is: RunLocalServer.hs