[Logiweb-announce] Logiweb 0.1.3 released

[Klaus Ebbe Grue]

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