Commit 12d9a697 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Release notes updated

parent 2c62334e
PAKCS: Release Notes
Release notes for PAKCS Version 1.13.0 (July 19, 2015)
Release notes for PAKCS Version 1.13.0 (August 24, 2015)
Changes to version 1.12.0:
* Operation `Prelude.==` is flexible (instead of rigid as before).
......@@ -11,6 +11,9 @@ Changes to version 1.12.0:
However, if `Prelude.==` is (positively) used in conditions of rules,
it is automatically transformed into a unification constraint
so that it does not suspend.
* Library `Pretty`: code and interface updated, e.g., some combinators
renamed and new combinators added (e.g., to support ANSI formatting
and colorisation of documents)
Release notes for PAKCS Version 1.12.0 (July 15, 2015)
currytools @ 0af89522
Subproject commit 521826b1c44fed0ff1fcb0c4cc46fa9b97c4eba6
Subproject commit 0af89522197cba7637b891cc2e186fb71cffefed
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