diff options
author | Cyprien Mangin <cyprien.mangin@m4x.org> | 2018-06-26 19:55:39 +0200 |
---|---|---|
committer | Cyprien Mangin <cyprien.mangin@m4x.org> | 2018-06-27 12:33:08 +0200 |
commit | 77a1ea99faf980f7fe877e1bfb0460d53c58cc6f (patch) | |
tree | 909548bdac9a82769285a1785431c7ee7db803c9 /test-suite/complexity/injection.v | |
parent | b98ae49d282f73343c1950e960f4b3bc7c28de70 (diff) |
CoqIDE scrolls the proof buffer down to the first goal.
Diffstat (limited to 'test-suite/complexity/injection.v')
0 files changed, 0 insertions, 0 deletions