aboutsummaryrefslogtreecommitdiff
path: root/ide/wg_Completion.ml
AgeCommit message (Expand)Author
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-02-05 20:54:16 +0000