PAKCS Version 1.6.1 available

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Mon, 10 Oct 2005 11:35:03 +0200

Dear Colleagues,

after a series of (not announced) minor new releases of PAKCS,
the Portland Aachen Kiel Curry System, I'd like to draw your
attention to the new version 1.6.1 which is available for
downloading via the web page

http://www.informatik.uni-kiel.de/~pakcs/

This version contains more libraries (see
http://www.informatik.uni-kiel.de/~pakcs/lib/)
and tools, e.g., a browser for Curry applications offering
various program analyses, or a tool for unit testing.
Furthermore, the compilation time is considerably faster
due to a new concept for separate compilation into Prolog,
and the installation of the complete system has been simplified
(a simple "make" should be sufficient if the executables "java"
and "sicstus" are in your path).

A list of all changes is available in the release notes
(http://www.informatik.uni-kiel.de/~pakcs/pakcs/RELNOTES.html).

Have fun and let me know any problems, suggestions etc,

Michael

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Okt 10 2005 - 12:18:47 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:07 CEST