New PAKCS (Version 1.7.2) and Curry report
This message
: [
Message body
] [ More options (
top
,
bottom
) ]
Related messages
: [
Next message
] [
Previous message
]
Contemporary messages sorted
: [
by date
] [
by thread
] [
by subject
] [
by author
] [
by messages with attachments
]
From
: Michael Hanus <
mh_at_informatik.uni-kiel.de
>
Date
: Thu, 30 Mar 2006 18:15:45 +0200
Dear Colleagues,
I like to announce the availability of a new major release
of PAKCS. The new version 1.7.2 is available for downloading
via the usual web page
http://www.informatik.uni-kiel.de/~pakcs/
This version is compatible with the new version of the Curry
report (where I put the results of the recent discussions).
Please have a look at the release notes for more details:
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
Fr Mär 31 2006 - 09:17:59 CEST
This message
: [
Message body
]
Next message
:
wrs06_at_redstar.cs.pdx.edu: "WRS06 last call for paper"
Previous message
:
Francisco J. Lopez Fraguas: "WFLP2006-Call for Papers"
Contemporary messages sorted
: [
by date
] [
by thread
] [
by subject
] [
by author
] [
by messages with attachments
]
This archive was generated by
hypermail 2.3.0
: Do Feb 01 2024 - 07:15:07 CET