diff options
| author | Pierre-Marie Pédrot | 2018-10-11 14:39:16 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-15 22:55:37 +0200 |
| commit | 8e7131b65894e9e549422cb47aab5a3a357a6352 (patch) | |
| tree | 6417cbea170b9d5628c7866f0867eb28753d9b98 /dev/base_include | |
| parent | dba567555fed9c88887b463a975c3d7e0852ebd3 (diff) | |
Implement ARGUMENT EXTEND in coqpp.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions