| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |