Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Ensuring all .v files end with a newline to make "sed -i" work better on them. | 2017-08-21 | |
| | |||
* | - Add an option to refresh only algebraic universes, for e_type_of. The goal | 2014-06-21 | |
there is not the same as in Evd.define. - Fixed bugs #3330 and #3331. |