Commit bef6824b authored by Michael Hanus 's avatar Michael Hanus
Browse files

tools updated

parent 36bd3251
......@@ -75,7 +75,9 @@ Changes to version 1.13.0:
* New libraries added: ErrorState, SCC, Rewriting.*,
* currytools: typeinference removed since it is now contained
in the standard system libraries
Release notes for PAKCS Version 1.13.1 (October 2, 2015)
currytools @ 24c293d5
Subproject commit 922d1b8e83ea9fb701d93d53f04c5d530f394e41
Subproject commit 24c293d55587d95311caf7af89768434ea2f8651
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment