Logiweb 0.1.8 was released on GRD-2007-07-12 Changes: Obtained 43% proofcheck speedup by parallel instantiation at object level Added a 'renderers' option
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 Logiweb-announce@diku.dk http://lists.diku.dk/mailman/listinfo/logiweb-announce (Web access from inside DIKUs LAN only)