diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-24 17:57:24 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-26 20:05:40 +0100 |
commit | d4edd135e7cb8b6f86d9d5a0d320e0b29ee20148 (patch) | |
tree | ef38b221ff49345252772cd2682388fb1f3a5a36 /man/coq-parser.1 | |
parent | 23803338b26bb833e9e5254d5b7ce36ce832ee59 (diff) |
Preserving goal name in revert/bring_hyps.
Diffstat (limited to 'man/coq-parser.1')
0 files changed, 0 insertions, 0 deletions