diff options
| author | Pierre-Marie Pédrot | 2017-07-26 22:41:55 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-26 22:43:35 +0200 |
| commit | 2d6461140fadf1af8b92567b77e869eb2bd9dd7e (patch) | |
| tree | 7318ce7e1a4a44fa4ce59b703df44b42720d39fa /_CoqProject | |
| parent | 57b9df4e07351a753f897dc24eb8238f6465b26d (diff) | |
Tentative fix of parsing of product types.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions