doc/changelog/05-tactic-language/13997-ltac2-ident-ffi.rst


1
2
3
4
5

- **Added:**
  Added a FFI to convert between Ltac1 and Ltac2 identifiers
  (`#13997 <https://github.com/coq/coq/pull/13997>`_,
  fixes `#13996 <https://github.com/coq/coq/issues/13996>`_,
  by Pierre-Marie Pédrot).