diff options
| author | Emilio Jesus Gallego Arias | 2019-06-06 18:45:17 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-06-06 18:45:17 +0200 |
| commit | 20ee51330564b9ae6c3d3d0981db5184f99572ed (patch) | |
| tree | 2d85d3691d50602327de38fdb0caad6df976b759 /doc/plugin_tutorial/tuto1/src/simple_declare.ml | |
| parent | f841689a74a0456ecec63659ef5e7f568fb60ba0 (diff) | |
| parent | 3817bd950792da616eca03b6a9f2b706442227a7 (diff) | |
Merge PR #10278: vernac_load doesn't get a ?proof argument
Reviewed-by: ejgallego
Ack-by: gares
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.ml')
0 files changed, 0 insertions, 0 deletions