diff options
author | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-05-07 16:23:49 +0000 |
---|---|---|
committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-05-07 16:23:49 +0000 |
commit | fd9a61f49d7fd5613e0ff39b600fe973b4c7c9c9 (patch) | |
tree | 593623b7f6484ab135c5f8b1c502e315be56cd56 /CREDITS | |
parent | 770bc83b03d1be4e87a56d0ed06adeb8ad4ba067 (diff) |
Fix bug #2315 : printing of defined evars in Coqide.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13003 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'CREDITS')
0 files changed, 0 insertions, 0 deletions