diff options
| author | Pierre-Marie Pédrot | 2018-07-03 16:42:41 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-02 09:27:47 +0200 |
| commit | 67e894bc9e25e68bb89c93c930d3c9eac3f8a16d (patch) | |
| tree | d2a03c98816fc68c5d427d6448b892d47e945a45 /kernel/cemitcodes.ml | |
| parent | 389aa51f37fda1a7a8490d1b4042b881aba730df (diff) | |
Handling VERNAC EXTEND in coqpp.
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions