diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-02-17 23:57:47 +0100 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-08 21:58:32 +0100 |
| commit | 00191b7dea128e21abcde02cc45b02d23c205595 (patch) | |
| tree | 4216c8b4d40f489d23e427f5a285426af48d96f0 /INSTALL | |
| parent | 6f30f76def8f6cf1abe7859f482b68c91b4c8709 (diff) | |
Add an invariant on given up goals in class_tactics.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions