diff options
| author | pboutill | 2012-04-14 17:24:12 +0000 |
|---|---|---|
| committer | pboutill | 2012-04-14 17:24:12 +0000 |
| commit | 08b7a19aff875b57e54fca2d4100a4016a092c58 (patch) | |
| tree | 10972d280852d413e720464f841ec03840606051 /kernel/type_errors.ml | |
| parent | c8ec3774d0c4c17e23609fea45f517f678ba56df (diff) | |
Coqide Proofview scroll
so that end of the corrent goal is the last visible line.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15173 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions