From grue at diku.dk  Wed Jan 17 12:51:15 2007
From: grue at diku.dk (Klaus Ebbe Grue)
Date: Wed Jan 17 12:55:53 2007
Subject: [Logiweb-announce] Logiweb 0.1.1 released
Message-ID: <Pine.LNX.4.61.0701171238550.9199@tyr.diku.dk>

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
From grue at diku.dk  Wed Jan 17 13:00:29 2007
From: grue at diku.dk (Klaus Ebbe Grue)
Date: Wed Jan 17 13:00:30 2007
Subject: [Logiweb-announce] Logiweb 0.1.2 released
Message-ID: <Pine.LNX.4.61.0701171257370.10121@tyr.diku.dk>

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
From grue at diku.dk  Wed Jan 31 12:04:55 2007
From: grue at diku.dk (Klaus Ebbe Grue)
Date: Wed Jan 31 12:04:57 2007
Subject: [Logiweb-announce] Logiweb 0.1.3 released
Message-ID: <Pine.LNX.4.61.0701311202060.28478@tyr.diku.dk>

Logiweb 0.1.3 was released on GRD-2007-01-30

Changes:
Pyk now sets terminal encoding to UTF-8
Added support for all clisp encodings except BASE64
Added test for ISO-2022-JP encoding
logiweb.conf now suggests port 65535 og logiweb.eu as starter
Favicon added
'make site' now uses cache to speed up page translation
'make site' now dumps pyk1 which contains base and check

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
