diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-03-05 13:40:18 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-03-06 10:48:42 +0100 |
| commit | fe902cb9235a29427f18c234ffffc9b9070512a1 (patch) | |
| tree | 55801193852b70d97521874f3f351d0f867cb05f /stm/coqworkmgrApi.ml | |
| parent | db8fcbb7763ac784f7c72b72509d5dc7c2c5323c (diff) | |
[compat] Remove "Shrink Abstract"
Following up on #6791, we the option "Shrink Abstract".
Diffstat (limited to 'stm/coqworkmgrApi.ml')
0 files changed, 0 insertions, 0 deletions