Logiweb 0.1.6 was released on GRD-2007-04-25 Changes: Added level=parse option Changed notation in base.pyk and check.pyk (e.g. 'var x' to 'x') Added Peano.pyk
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)