[Logiweb-announce] Logiweb 0.1.9 released

Klaus Ebbe Grue grue at diku.dk
Wed Oct 24 16:29:57 CEST 2007


Logiweb 0.1.9 was released on GRD-2007-10-24

Changes:
Added documentation of binary and bs filter options
Optimized binary filter convertion to handle large files
Added httphost option
Removed home option and added localhome option
Removed relay option and added localrelay option
Now the udphost and tcphost options default to the value of httphost
Installation simplified: now just do "make" and "make install"
Removed "make site" and "make enhancement"

When upgrading, do the following to /etc/logiweb/logiweb.conf:
ADD      httphost  = www.my.domain
REMOVE   home      = http://www.my.domain/logiweb
REMOVE   relay     = http://www.my.domain/logiweb/server/relay
REMOVE   udphost   = www.my.domain
REMOVE   tcphost   = 127.0.0.1

Logiweb is a system available under GNU GPL for distribution of

* Mathematical definitions, lemmas, and proofs.
* Computer programs.
* Proof checkers and proof tactics.
* Journal quality papers and wiki articles.

For more information on Logiweb, see http://logiweb.eu/

Sincerely yours,
Klaus Grue


More information about the Logiweb-announce mailing list