diff options
| author | Pierre-Marie Pédrot | 2019-03-28 23:59:54 +0100 |
|---|---|---|
| committer | GitHub | 2019-03-28 23:59:54 +0100 |
| commit | 374c88c84d41bd490bc97fe783c3c2f22100b17d (patch) | |
| tree | 03ed0b4d62a00d3a240499bcb4921e406a2d6267 /plugins/syntax/string_notation.ml | |
| parent | 6e6844e89bdf57f00bc1e4d3de110ca45d0b51bf (diff) | |
| parent | ea68d316725cd5012abf1012497e1c00e9bbb9d2 (diff) | |
Merge pull request coq/ltac2#109 from ejgallego/proof+no_global_partial
[coq] Adapt to coq/coq#9129 "removal of imperative proof state"
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions