[Logiweb-announce] Logiweb 0.1.1 released

[Klaus Ebbe Grue]

Logiweb 0.1.1 was released on GRD-2006-12-27

Logiweb 0.1.1 is the first beta release. It is the intension to make all 
future changes backward compatible. The last non-backward-compatible 
change was to change the format of Logiweb 'vectors' such that arbitrary 
binary data may now be embedded in Logiweb pages.

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