diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-06 11:29:37 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-06 12:05:48 +0100 |
| commit | bc0cdb37c2117830f003a7fd8d87dbc12e4f085d (patch) | |
| tree | 504a99972483155319d62065c6da6aed0e61849e /man/coq-parser.1 | |
| parent | 6ae459fe810a1907a0afcfe9ecf5c062cae60f17 (diff) | |
Removing "destruct" test not yet working.
Diffstat (limited to 'man/coq-parser.1')
0 files changed, 0 insertions, 0 deletions