diff options
| author | herbelin | 2010-09-18 17:28:39 +0000 |
|---|---|---|
| committer | herbelin | 2010-09-18 17:28:39 +0000 |
| commit | acda433289896a8aea287cc9f510e9a874623533 (patch) | |
| tree | 76895f78f83b600c975ef44232d5f434d8a6ee3a /plugins | |
| parent | a66a16e2e1d3264d87eaac66a809ec5e26849044 (diff) | |
Fixing #2162 and #2367 (wrong order of Show Match) for branch 8.2 too
(see otherwise r12383). Seized the opportunity to remove useless
(v7-style syntax) parentheses in Match printing.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13433 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions