diff options
| author | herbelin | 2005-06-22 08:01:24 +0000 |
|---|---|---|
| committer | herbelin | 2005-06-22 08:01:24 +0000 |
| commit | 21a4125e10d7b8033457962fc42e7dc9b77ec1f2 (patch) | |
| tree | 16f7a54181dff3ee3d2ee975950e3862b8e214a5 /kernel/cbytecodes.ml | |
| parent | 5722ca635828b09e55d02133db5932212136cf16 (diff) | |
Added entry constr_may_eval for tactic extensions (new syntax)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7162 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions