| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge PR#511: [stm] Remove some obsolete vernacs/classification. |  Maxime Dénès | 2017-03-30 |
| |\ | |||
| | * | [stm] Remove some obsolete vernacs/classification. |  Emilio Jesus Gallego Arias | 2017-03-24 |
| * | | [nit] Fix a couple incorrect uses of msg_error. | Emilio Jesus Gallego Arias | 2017-03-24 |
| |/ | |||
| * | [pp] Remove uses of expensive string_of_ppcmds. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [pp] [ide] Minor cleanups in pp code. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | [pp] Make feedback the only logging mechanism. | Emilio Jesus Gallego Arias | 2017-03-21 |
| * | Merge PR#412: Remove outdated comment from 2002. | Maxime Dénès | 2017-03-14 |
| * | Merge PR#189: Remove tabulation support from pretty-printing. | Maxime Dénès | 2017-02-20 |
| * | [stm] Reenable Show Script command. | Emilio Jesus Gallego Arias | 2017-02-15 |
| * | [stm] Break stm/toplevel dependency loop. | Emilio Jesus Gallego Arias | 2017-02-15 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |