| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Making explicit that errors happen in one of five executation phases. |  Hugo Herbelin | 2018-05-02 |
| | | | | | | | | | | | The five phases are command line interpretation, initialization, prelude loading, rcfile loading, and sentence interpretation (only the two latters are located). We then parameterize the feedback handler with the given execution phase, so as to possibly annotate the message with information pertaining to the phase. | ||
| * | Print names of all open blocks |  Tej Chajed | 2017-08-06 |
| Fixes bug 5597. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |