Skip to content
Snippets Groups Projects
Commit d7783d61 authored by Ralf Jung's avatar Ralf Jung
Browse files

we can deprecate this plugin now

parent b077370a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
README.md
+ 4
− 0
View file @ d7783d61
**This project is deprecated; its functionality has been included in Iris proper
starting with version `dev.2021-03-23.2.dce194f3` (which will eventually be
included in Iris 3.5).**
# Ltac2 implementation of `string_to_ident` # Ltac2 implementation of `string_to_ident`
This "Iris plugin" implements the `string_to_ident` hook of the Iris proof mode This "Iris plugin" implements the `string_to_ident` hook of the Iris proof mode
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment