diff options
| author | Emilio Jesus Gallego Arias | 2017-04-19 01:05:19 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-04-19 01:05:19 +0200 |
| commit | 3500ccbc0c5e06dfe3f053d1ee80185b1930b900 (patch) | |
| tree | 890f5dce5ecebed661d9bc86677f998f5946ff79 /mathcomp/Make | |
| parent | a9ec3525dd993f9d55afa897fe10bf2fc0a4b030 (diff) | |
[ast] Adapt to Coq's #402 new generic AST node.
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions