| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Univs/Program/Function: Fix bug #4725 |  Matthieu Sozeau | 2016-05-26 |
| - In Program, a check_evars_are_solved was introduced too early. Program does it's checking of evars by itself. - In Function, the universe environments were not threaded correctly. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |