diff options
| author | Pierre-Marie Pédrot | 2018-07-26 15:22:17 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-02 09:27:47 +0200 |
| commit | 1407a1caabd5891552043e9f62e5f2058df07034 (patch) | |
| tree | bc4a0e2b9f7c5c38efb476e8625b8a978ac765ba /kernel | |
| parent | 278f64296af13865ed50c966f1a4c1ab4357423e (diff) | |
Document the coqpp implementation of VERNAC EXTEND.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions