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

libs updated

parent c6ad30c3
......@@ -13,7 +13,8 @@ Changes to version 1.13.0:
It still suspends when comparing two variables or
one variable with a number or character.
* Prelude: operations `(===)` and `(&&>)` removed
* Libraries `meta/AbstractCurry...` removed
* Libraries `meta/*` removed (since they have been replaced
by libraries with hierachical names, see below)
* Hierarchical libraries for FlatCurry added and extended:
in order to to compatible with future versions, the following
imports should be adapted in programs working with AbstractCurry:
lib-trunk @ 048bcb00
Subproject commit e4aaa448f5ad3984d3b4e08e5f9dcca2e507b165
Subproject commit 048bcb000f7d9ac2ddc01f13b2ecf9f547274c1a
Supports Markdown
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