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