diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-12-04 13:51:15 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-02-21 20:51:35 -0500 |
| commit | 4fca4ed3b27a51e01370e500cdce756113556ed2 (patch) | |
| tree | 6e9f95429894c9ceafef1de6db8209dd6afbb8a9 /stm/vernac_classifier.ml | |
| parent | d9d8977cf213f0d4b2e8d324c759c23df58ba457 (diff) | |
Allow interactive editing of Coq.Init.Logic
Without this change, coqtop complains that I need to require
Coq.Init.Logic to use [replace ... with ... by ...].
Diffstat (limited to 'stm/vernac_classifier.ml')
0 files changed, 0 insertions, 0 deletions