diff options
| author |  gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-10-24 15:41:37 +0000 |
|---|---|---|
| committer | gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-10-24 15:41:37 +0000 |
| commit | 7bded288b7727625ee353af5a142ecba15d57240 (patch) | |
| tree | 843bedb30c5b7c9bf86ae762a93d57102ab6f0f2 /CHANGES | |
| parent | 62e3d6b5f71d17fd4ef683d9f36461d9d16b1a6c (diff) | |
CoqIDE: fix coloring bug when jumping back to the first phrase
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16928 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions