diff options
| author | Maxime Dénès | 2020-05-09 12:45:30 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-05-09 12:45:30 +0200 |
| commit | 1bf9ba682e74391cf853e9b87ae40fac5b3b17b3 (patch) | |
| tree | 51c7183c3faa98ff8f3e242f7c5cebb048d527ae /doc/plugin_tutorial/tuto1 | |
| parent | 3d01f120976be6805a80b34633b9cd9552b2ffe3 (diff) | |
| parent | 288a97e465048bc47c7d5e91e14bfbc33819e689 (diff) | |
Merge PR #11990: [micromega] use Coqlib.lib_ref to get Coq constants.
Reviewed-by: maximedenes
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions