diff options
| author | Jasper Hugunin | 2020-09-09 10:22:13 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-09-16 12:46:57 -0700 |
| commit | c66266493b3678814604365386e4b7afc362483c (patch) | |
| tree | 66337eaed9079d535c447281e73e9e56603bf758 /doc/plugin_tutorial/tuto3/_CoqProject | |
| parent | 3ff6af396ce73291a127707022aa2c96adc52b0b (diff) | |
Modify Numbers/Natural/Abstract/NBase.v to compile with -mangle-names
Diffstat (limited to 'doc/plugin_tutorial/tuto3/_CoqProject')
0 files changed, 0 insertions, 0 deletions