[Logiweb-announce] Logiweb 0.1.5 released

[Klaus Ebbe Grue]

Logiweb 0.1.5 was released on GRD-2007-02-13

Changes:
Rare error corrected in server/html.

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