| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update copyright headers. |  Maxime Dénès | 2016-01-20 |
| * | Update headers. | Maxime Dénès | 2015-01-12 |
| * | wg_Detachable: move out of wg_Command |  gareuselesinge | 2013-10-22 |
| * | wg_Command: detachable, less "from the 80s", query pane | gareuselesinge | 2013-09-30 |
| * | Modulification and removing of structural equality in Stateid. |  ppedrot | 2013-08-19 |
| * | Coqide ported to STM | gareuselesinge | 2013-08-08 |
| * | Updating headers. |  herbelin | 2012-08-08 |
| * | Heavily rewritten the coqtop management process of coqide. The coqtop | ppedrot | 2012-05-13 |
| * | Removed the useless use of a reference in preference handling. | ppedrot | 2012-05-02 |
| * | Cleaning up widget code and using a naming convention for such files. | ppedrot | 2012-04-20 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |