| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-11-18 | [options] Remove deprecated option automatic introduction. | Emilio Jesus Gallego Arias |
| 2009-10-04 | Removal of trailing spaces. | serpyc |
| 2009-09-22 | Add the option to automatically introduce variables declared before the | msozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |