diff options
| author | Pierre-Marie Pédrot | 2019-03-15 14:23:08 +0100 |
|---|---|---|
| committer | GitHub | 2019-03-15 14:23:08 +0100 |
| commit | 23b34aaaa4b990dbb9e924fbd32feda40c41edf8 (patch) | |
| tree | 41eaeb92a558edd4ba65907ffbbc7d148a251a4f /doc/plugin_tutorial/tuto2/src | |
| parent | 8061ffc5f06fe7a2f782a16b45c08436aa298a10 (diff) | |
| parent | 95483808fa2f95b3ef8fc6b3b6da14c23c88d620 (diff) | |
Merge pull request coq/ltac2#93 from SkySkimmer/sprop
Adapt to coq/coq#8817 (SProp)
Diffstat (limited to 'doc/plugin_tutorial/tuto2/src')
0 files changed, 0 insertions, 0 deletions