diff options
| author | letouzey | 2011-10-11 19:18:56 +0000 |
|---|---|---|
| committer | letouzey | 2011-10-11 19:18:56 +0000 |
| commit | b1057e9eb29e8a5df185c42c9a7114e8d4496e91 (patch) | |
| tree | 719d06e97d952ea0643859541bf6079fbc67b947 /plugins/syntax/string_syntax.ml | |
| parent | 1d651163f5a0d5cc9c06059e29332c493ec70664 (diff) | |
Names : check of labels, cleanup, nicer debug display of kn and constant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14552 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions