| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Heavily rewritten the coqtop management process of coqide. The coqtop |  ppedrot | 2012-05-13 |
| | | | | | | | | | | | object is now responsible for restarting itself, and handles unexpected crashes. Fixes a lot of errors in file descriptor management, but may introduce lurking deadlocks and nasty bugs waiting to be discovered. Only (quickly) tested under Linux, any callbacks from Windows are welcome. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15314 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
| * | Removed the useless use of a reference in preference handling. | ppedrot | 2012-05-02 |
| | | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15271 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
| * | Cleaning up widget code and using a naming convention for such files. | ppedrot | 2012-04-20 |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15232 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |