diff options
| author | gareuselesinge | 2013-10-07 16:17:47 +0000 |
|---|---|---|
| committer | gareuselesinge | 2013-10-07 16:17:47 +0000 |
| commit | 81c25a71eedd774cea3234acb87bcc194d69e3b0 (patch) | |
| tree | dc977e8705f2b09501adfdcbf17fe7ebd1c4f1a4 /lib/cStack.ml | |
| parent | 464abb8a8c5c6c9dcfad5ce143925a2889485496 (diff) | |
CoqIDE: fix jumpig out of a focused proof
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16857 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/cStack.ml')
0 files changed, 0 insertions, 0 deletions