polyseq-0.1.1: README

The module polyseq-0.1.1 can be installed the following way:

runhaskell Setup.hs configure --user
runhaskell Setup.hs build
runhaskell Setup.hs haddock
runhaskell Setup.hs install

runhaskell Setup.hs haddock builds the documentation.
This step is not necessary.

After installation the modules
        PolySeq
        PrettyPrint
        TypeTranslator
        TheoremGen
        ParseTerm
are available.

To start the webinterface do

$ ./test.sh

then it runs under  http://localhost:8002/

The webinterface can also be found under

http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi

Enjoy.



Acknowledgements.
=================

Most of the webinterface' code (./src/polyseq-cgi.hs) and the script testcgi.py
are written by 

Joachim Breitner <mail@joachim-breitner.de>.

Thanks!