aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_ScriptView.mli
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* CoqIDE: Including autocompletion in word proposalsGravatar ppedrot2013-02-20
* Coqide: some more refactoring to lighten coqide.mlGravatar letouzey2012-12-10
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* Added a comment/uncomment command to CoqIDEGravatar ppedrot2012-09-06
* Updating headers.Gravatar herbelin2012-08-08
* Added the show_margin_right option to CoqIDEGravatar ppedrot2012-06-26
* Added semantic completion in CoqIDE. (Should also add an option for that...)Gravatar ppedrot2012-05-13
* Rewritten the autocompletion mechanism of CoqIDE, and stuffed itGravatar ppedrot2012-05-08
* Renamed Undo to conform to CoqIDE widget naming convention. In addition,Gravatar ppedrot2012-05-05