[Logiweb-announce] Logiweb 0.1.4 released

[Klaus Ebbe Grue]

Logiweb 0.1.4 was released on GRD-2007-02-08

Changes:
Changed relative references like "http:../index.html" to "../index.html"
Added code to track rare error in server. Waiting for error to occur

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