aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_Completion.mli
Commit message (Expand)AuthorAge
* Using ML signalling in CoqIDEGravatar ppedrot2013-03-19
* 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