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 /INSTALL | |
| parent | 23803338b26bb833e9e5254d5b7ce36ce832ee59 (diff) | |
Preserving goal name in revert/bring_hyps.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions