diff options
| author | Pierre-Marie Pédrot | 2018-10-14 19:21:38 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-15 22:56:01 +0200 |
| commit | 41b640b46f9152c62271adaa930aa8e86a88f3e5 (patch) | |
| tree | dcb3956c54c6a07c26dc4f342f3bd1d330a46cc2 /tools | |
| parent | 4da233a9685cd193a84def037ec18a27c9225dce (diff) | |
Documenting the transition from camlp5 to coqpp for ARGUMENT EXTEND.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions