Name: free-theorems-webui Version: 0.2.1.1 Synopsis: CGI-based web interface for the free-theorems package. Description: This package provides access to the functionality of through a web interface. . An online version can be seen at , where you can also find a more detailed description of the functionality. . There is also a shell based interface: . . 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.3 && <0.4 , 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 , process >= 1.1.0.0 , filepath >= 1.3.0.0 , directory >= 1.2.0.0 if flag(our_server) hs-source-dirs: . our_server_config else hs-source-dirs: . default_config extensions: ScopedTypeVariables -- 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