aboutsummaryrefslogtreecommitdiff
path: root/ide/wg_ScriptView.mli
AgeCommit message (Expand)Author
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-03-22Merge PR #8560: Unicode bindings for CoqIDE that works out of the boxPierre-Marie Pédrot
2019-03-19CoqIDE: Change name of module: Sourceview2 -> Sourceview3Hugo Herbelin
2019-03-18cosmetic changescharguer
2019-03-18support for coqide commande line argumentscharguer
2019-03-18latex to unicode in coqidecharguer
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2013-02-20CoqIDE: Including autocompletion in word proposalsppedrot
2012-12-10Coqide: some more refactoring to lighten coqide.mlletouzey
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-09-06Added a comment/uncomment command to CoqIDEppedrot
2012-08-08Updating headers.herbelin
2012-06-26Added the show_margin_right option to CoqIDEppedrot
2012-05-13Added semantic completion in CoqIDE. (Should also add an option for that...)ppedrot
2012-05-08Rewritten the autocompletion mechanism of CoqIDE, and stuffed itppedrot
2012-05-05Renamed Undo to conform to CoqIDE widget naming convention. In addition,ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:27:28 +0000