Logiweb 0.1.5 was released on GRD-2007-02-13 Changes: Rare error corrected in server/html.
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 _______________________________________________ Logiweb-announce mailing list [EMAIL PROTECTED] http://lists.diku.dk/mailman/listinfo/logiweb-announce (Web access from inside DIKUs LAN only)