diff options
| author | Emilio Jesus Gallego Arias | 2017-03-09 00:25:53 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-04-07 02:57:25 +0200 |
| commit | 4623e7e5ef2abda0bd26642e490adbbbee73d1ba (patch) | |
| tree | 2ebd86189ef8c0da462e57fb02b131dbf91d47cd /mathcomp/_CoqProject | |
| parent | 286cf5c039eb9a318b9224a1eebddd3cea14ec58 (diff) | |
[camplX] Remove camlp4 support.
Adapting to Coq upstream.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions