diff options
| author | herbelin | 2009-10-29 11:19:28 +0000 |
|---|---|---|
| committer | herbelin | 2009-10-29 11:19:28 +0000 |
| commit | ac27db8a4cdcc8f897e9580a832e0f3eb331cf6c (patch) | |
| tree | c77083c17c8f0dd6bfb150a964f78fa32d035f53 /plugins/syntax/string_syntax.ml | |
| parent | 815d4dc9ccc2938859c22b5848d153c50fee0192 (diff) | |
Revision 12439 continued, printing part (notations to names behave
like the name they refer to).
Fixing buggy test-suite implicit.v
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12442 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions