Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Cleaned prerr_endline use. | 2012-05-23 | |
* | Revert copy/pasted function in to minilib thanks to clib.cma | 2012-05-23 | |
* | Heavily rewritten the coqtop management process of coqide. The coqtop | 2012-05-13 | |
* | Removed the useless use of a reference in preference handling. | 2012-05-02 | |
* | Cleaning up widget code and using a naming convention for such files. | 2012-04-20 |