[Logiweb-announce] Logiweb 0.1.6 released

[Klaus Ebbe Grue]

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