[Logiweb-announce] Logiweb 0.1.2 released

[Klaus Ebbe Grue]

Logiweb 0.1.2 was released on GRD-2006-12-30

Logiweb 0.1.2 includes a bugfix for an install script and adds a value for 
the 'starters' option in logiweb.conf.

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