[Logiweb-announce] Logiweb 0.1.8 released

[Klaus Ebbe Grue]

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