From grue at diku.dk Wed Oct 24 16:29:57 2007 From: grue at diku.dk (Klaus Ebbe Grue) Date: Wed Oct 24 16:29:58 2007 Subject: [Logiweb-announce] Logiweb 0.1.9 released Message-ID: 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