diff options
| author | letouzey | 2011-08-18 09:46:05 +0000 |
|---|---|---|
| committer | letouzey | 2011-08-18 09:46:05 +0000 |
| commit | 740f6bf8c62629ff54f6db57e7fab5daf222df30 (patch) | |
| tree | 1fa5ff5287afd312d4d4599722707d8ec207cda4 /doc/refman/Program.tex | |
| parent | 50d28541dcb024d8c63fd1b9e770536fc75e325b (diff) | |
Misc improvements concerning "Show Match" and its coqide equivalent
- The make_cases function was duplicated in two files
- Rather use next_name_away_in_cases_pattern instead of ..._in_goal
when finding fresh pattern variables
- Nicer final pretty-print via some formatting boxes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14414 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/refman/Program.tex')
0 files changed, 0 insertions, 0 deletions