Verified Commit 6a9afe85 authored by Tej Chajed's avatar Tej Chajed


parent f8cc4d7a
......@@ -105,8 +105,7 @@ Coq development, but not every API-breaking change is listed. Changes marked
requires implementing `string_to_ident`. Without this tactic such patterns
will fail. We provide one implementation at using Ltac2 which works with Coq
8.11. See the [README]( for opam
installation instructions.
8.11 and can be installed with opam (see the README for details).
**Changes in heap_lang:**
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment