aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_Completion.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Replacing old-style preferences in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-26
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 12:28:04 +0000