Commit 2fd322aa authored by Robbert Krebbers's avatar Robbert Krebbers


parent 41d72be6
......@@ -94,6 +94,7 @@ Coq development, but not every API-breaking change is listed. Changes marked
* Affine, absorbing, persistent and timeless instances for telescopes.
* Better support for telescopes in the proof mode, i.e., all tactics should
recognize and distribute telescopes now.
* Remove namespace `N` from `is_lock`.
**Changes in heap_lang:**
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