diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-24 18:10:24 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-26 20:05:41 +0100 |
commit | d1114c5f55fcb96a99a1a5562b014414ad8217ba (patch) | |
tree | c5efe18fb5ab4006ffab90f7db7d878556a14398 /man/coq-parser.1 | |
parent | d4edd135e7cb8b6f86d9d5a0d320e0b29ee20148 (diff) |
Documenting a bit more interpretation functions in passing.
Diffstat (limited to 'man/coq-parser.1')
0 files changed, 0 insertions, 0 deletions