PAKCS Version 1.4.1 available

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Thu, 26 Sep 2002 14:57:06 +0200

Dear Colleagues,

a new version of PAKCS, the Portland Aachen Kiel Curry System,
is available for downloading via the web page

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

This version is conform with the recent changes in the Curry report
(see the discussion on flex/rigid defaults).

A list of all changes is available in the release notes
(http://www.informatik.uni-kiel.de/~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 Do Sep 26 2002 - 15:24:11 CEST

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