diff options
| author | jnarboux | 2008-05-28 16:22:11 +0000 |
|---|---|---|
| committer | jnarboux | 2008-05-28 16:22:11 +0000 |
| commit | 1640ad854a95e971c53c2a96fb722bb7c587082d (patch) | |
| tree | 2ff64962911b793bc9947a6e0ca6d3ae11973a4a /kernel/cbytecodes.ml | |
| parent | e96a3afb03ee4a6d4dfb3efa18186a1ffca38e3a (diff) | |
replace the query window of coqide by a pane in main window as suggested by hugo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11011 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions