diff options
| author | Jasper Hugunin | 2020-08-25 13:47:07 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-08-25 13:53:34 -0700 |
| commit | d10c7e19fe760f139f31809975291b955705dc27 (patch) | |
| tree | 277f6a5315709d61da688073d92eab61c5936e5e /doc/plugin_tutorial/tuto3/_CoqProject | |
| parent | 3692f244fee5871b00557cb16ce85b40d413c3ec (diff) | |
Modify Numbers/NatInt/NZGcd.v to compile with -mangle-names
Diffstat (limited to 'doc/plugin_tutorial/tuto3/_CoqProject')
0 files changed, 0 insertions, 0 deletions