diff options
| author | Pierre Boutillier | 2015-01-11 18:44:05 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2015-01-12 19:14:25 +0100 |
| commit | d797153f3e44279dd61804c3d2e75ec7892f38bf (patch) | |
| tree | 27efe617d13171da1a54a821a9e1b11a146c3085 /pretyping/detyping.mli | |
| parent | 7ab54d9135d4a4604bcb11dabd38842d746d5472 (diff) | |
typo in coqide compilation rules after -thread requirement
Diffstat (limited to 'pretyping/detyping.mli')
0 files changed, 0 insertions, 0 deletions