diff options
| author | herbelin | 2010-06-14 09:29:47 +0000 |
|---|---|---|
| committer | herbelin | 2010-06-14 09:29:47 +0000 |
| commit | 8f4b002c44c4820131acd929d31502ab7cf952c4 (patch) | |
| tree | 652c63b712b5d2784adde12d9849527673f98de8 /dev/base_include | |
| parent | 2c9c92aac97160a40ff240dec41464ae78a6c88c (diff) | |
Added printing of recursive notations in cases pattern (supported by wish 2248).
Note that the code is no longer in constrextern.ml but in topconstr.ml where
the code for reversing notations of term already was.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13132 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions