diff options
| author | Cyprien Mangin | 2018-06-26 19:55:39 +0200 |
|---|---|---|
| committer | Cyprien Mangin | 2018-06-27 12:33:08 +0200 |
| commit | 77a1ea99faf980f7fe877e1bfb0460d53c58cc6f (patch) | |
| tree | 909548bdac9a82769285a1785431c7ee7db803c9 /plugins/syntax | |
| parent | b98ae49d282f73343c1950e960f4b3bc7c28de70 (diff) | |
CoqIDE scrolls the proof buffer down to the first goal.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions