diff options
| author | Emilio Jesús Gallego Arias | 2018-11-24 16:35:25 +0100 |
|---|---|---|
| committer | GitHub | 2018-11-24 16:35:25 +0100 |
| commit | b5ebc0a2aa4e73054b6085dd82211a08636c1418 (patch) | |
| tree | cffc64b213d4db3aa42aaa515e894e8b23c21286 /doc/plugin_tutorial/tuto3/Makefile | |
| parent | 97f2bae11a12854be3fe442b41c07116a065ee1c (diff) | |
| parent | 01a673e8d8e22e7aaebe5dc4e801d36ce29941b7 (diff) | |
Merge pull request #18 from SkySkimmer/solve-remaining-evars-initial-arg
Adapt to coq/coq#8933 (Make initial evar map argument to check_evars_are_solved optional)
Diffstat (limited to 'doc/plugin_tutorial/tuto3/Makefile')
0 files changed, 0 insertions, 0 deletions