diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-06-28 12:41:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-06-28 12:41:48 +0200 |
| commit | 8117f98527169955086332d771b1201b8f98cf31 (patch) | |
| tree | da7aa02cc7ebd91862510f3553f6c8a7ab1bf193 /dev | |
| parent | 809eaea3c179ca23036ae807e8f8c1a749a027f7 (diff) | |
| parent | 77a1ea99faf980f7fe877e1bfb0460d53c58cc6f (diff) | |
Merge PR #7932: CoqIDE scrolls the proof buffer down to the first goal.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions