@@ -11,6 +11,7 @@ New in 0.9.15:
1111 solved automatically.
1212* More efficient representation of proof state, leading to faster elaboration
1313 of large expressions.
14+* EXPERIMENTAL Implementation of uniqueness types
1415
1516New in 0.9.14:
1617--------------