aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_Completion.ml
Commit message (Expand)AuthorAge
* Silence compilation warning by avoiding some deprecated constructs.Gravatar Guillaume Melquiond2013-12-03
* Using ML signalling in CoqIDEGravatar ppedrot2013-03-19
* CoqIDE: Add TAB key to autocompleteGravatar ppedrot2013-02-25
* Fixing #2763Gravatar ppedrot2013-02-20
* More handling of scrollbars in CoqIDE completionGravatar ppedrot2013-02-20
* CoqIDE: Including autocompletion in word proposalsGravatar ppedrot2013-02-20
* Adding scrollbars to CoqIDE autocompletionGravatar ppedrot2013-02-20
* New autocompletion mechanism in CoqIDE. Now provides many answersGravatar ppedrot2013-02-19