| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-04-29 | Merging Context and Sign. | ppedrot |
| 2013-04-29 | Splitting Term into five unrelated interfaces: | ppedrot |
| 2013-04-17 | Improving error message in explain_cannot_find_well_typed_abstraction: | herbelin |
| 2013-03-21 | Robust display of NotConvertibleTypeField errors (fix #3008, #2995) | letouzey |
| 2013-02-17 | Added propagation of evars unification failure reasons for better | herbelin |
| 2012-12-14 | Modulification of identifier | ppedrot |
| 2012-11-21 | Print univ constraints generated by a constant or inductive (when flag is set) | barras |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-07-11 | A friendlier printing of remaining goals when no goal is focused. | aspiwack |
| 2012-07-04 | Change how the number of open goals is printed. | aspiwack |
| 2012-05-29 | place all pretty-printing files in new dir printing/ | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |