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 /kernel | |
parent | 809eaea3c179ca23036ae807e8f8c1a749a027f7 (diff) | |
parent | 77a1ea99faf980f7fe877e1bfb0460d53c58cc6f (diff) |
Merge PR #7932: CoqIDE scrolls the proof buffer down to the first goal.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions