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)

Reply via email to