diff options
| author | msozeau | 2009-06-01 21:19:20 +0000 |
|---|---|---|
| committer | msozeau | 2009-06-01 21:19:20 +0000 |
| commit | ce19a21686b6a75f4fea6f49468812679f241d64 (patch) | |
| tree | ab9b7a74226c084ce2d75d7af4405c34b494e26f /plugins/interface | |
| parent | 15d3e64ff69e39b41413831e20b9fe408d3263d5 (diff) | |
## Lines starting with '## ' will be removed from the log message.
## File(s) to commit:
## tactics/refine.ml
Try solving typeclasses before refining in Refine.refine (suggested by
S. Lescuyer).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12157 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/interface')
0 files changed, 0 insertions, 0 deletions