aboutsummaryrefslogtreecommitdiff
path: root/ide/wg_Completion.ml
AgeCommit message (Expand)Author
2020-03-30Partial revert of #11817.Pierre-Marie Pédrot
2020-03-30Merge PR #11817: [cleanup] Remove unnecessary Map/Set module creationGaëtan Gilbert
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-13[cleanup] Remove unnecessary Map/Set module creationEmilio Jesus Gallego Arias
2020-01-16Better handling of asynchronous completion.Pierre-Marie Pédrot
2020-01-16Hacking a completion widget based on the default GtkSourceView one.Pierre-Marie Pédrot
2019-11-07Do not include final stops in queries. (Fixes #11058)Guillaume Melquiond
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-04-27Fix omitted labels in function callsGaetan Gilbert
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-08-26Replacing old-style preferences in CoqIDE.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2013-12-03Silence compilation warning by avoiding some deprecated constructs.Guillaume Melquiond
2013-03-19Using ML signalling in CoqIDEppedrot
2013-02-25CoqIDE: Add TAB key to autocompleteppedrot
2013-02-20Fixing #2763ppedrot
2013-02-20More handling of scrollbars in CoqIDE completionppedrot
2013-02-20CoqIDE: Including autocompletion in word proposalsppedrot
2013-02-20Adding scrollbars to CoqIDE autocompletionppedrot
2013-02-19New autocompletion mechanism in CoqIDE. Now provides many answersppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 05:02:41 +0000