Logiweb 0.2.5 was released on GRD-2009-11-05
Changes:
Logiweb has been ported from CLISP to C.
The compiler is now called the Logiweb compiler (lgc).
The language is now called Logiweb source (lgs).
Lgc is now a stand-alone compiler. It does not need the Logiweb server
anymore. So one can use Logiweb on an ordinary PC without running a web
site. Lgc is fast. The PC must have 2 gigabyte RAM.
In addition to the traditional .tar.gz format, Logiweb is now also
available as RPM, Debian, and Cygwin packages, c.f. http://logiweb.eu/
Input/output facilities have been added to lgs so that lgs can be used for
real programming. I/O has been included in a way which does not violate
the pure functional nature of lgs.
Lgc is now implemented in lgs (i.e. in its own language).
Documentation on http://logiweb.eu/ has been reorganized and improved.
The lgs language has had a light cleanup. Headers are now much easier to
write. In the old version, one had to explicitly import constructs from
referenced pages. That is no longer needed. There are other, minor changes
to lgs too.
The 0.2.x series is a pre-release series. The goal is to release Logiweb
1.0 later this year or early next year.
Changes from 0.1.x to 0.2.x are not big but not backward compatible. To
port an old page, clean up its source and recompile.
---
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/
_______________________________________________
Logiweb mailing list
Logiweb@diku.dk
http://lists.diku.dk/mailman/listinfo/logiweb
(Web access from inside DIKUs LAN only)