diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-12-02 22:01:49 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-12-02 22:39:22 +0100 |
| commit | 6fd7634319e7a82e89667d3fc70ecbd65e7bf45c (patch) | |
| tree | 60d8277b6ea998435d3929ff943cb93fa6b3caea /ide/coq_style.xml | |
| parent | 710bae2a8c81a44611eabdf384b47dcb183f38fb (diff) | |
Postponing the "evar <= evar" problems instead of solving them in an
arbitrary direction as if it were an "evar = evar" problem.
Diffstat (limited to 'ide/coq_style.xml')
0 files changed, 0 insertions, 0 deletions