diff options
| author | aspiwack | 2011-04-06 13:40:39 +0000 |
|---|---|---|
| committer | aspiwack | 2011-04-06 13:40:39 +0000 |
| commit | bdac8f996a89701f74a5fcb649ec12bc3aaa9d07 (patch) | |
| tree | 00be772e7409ed6c56581550a830ebd3bf1a29b4 /kernel/term.mli | |
| parent | 7a7a09378e492b5b2dc87e3a8e502e842ca1faf5 (diff) | |
Fixes the weird bug of the declarative proof mode (Czar) both in emacs and coqc.
Patch submitted by Tom Prince.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13957 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/term.mli')
0 files changed, 0 insertions, 0 deletions