aboutsummaryrefslogtreecommitdiff
path: root/ide/gtk_parsing.ml
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-11-07Do not include final stops in queries. (Fixes #11058)Guillaume Melquiond
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-05-03CoqIDE: recognize qualified identifiers as words.Jasper Hugunin
2018-07-14[build] Build Coq and plugins with `-strict-sequence`Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2018-01-10Add interfaces for IDE and remove dead code.Maxime Dénès
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-02-15Selecting whole words on double-click in CoqIDE.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2012-08-08Updating headers.herbelin
2012-05-23Cleaned prerr_endline use.ppedrot
2012-05-08Rewritten the autocompletion mechanism of CoqIDE, and stuffed itppedrot
2010-10-31Remove some unnecessary (?) "open Ideutils"glondu
2010-09-28Fix function applications without labels (OCaml warning 6)glondu
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-12-03Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1vgross
2009-11-19Refactoring of coqide backtrack code, with the intent to put everythingvgross
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-05-13minor bugfixes. CoqIde development will resume soon now ...vgross
2009-03-07- per session coq command stackvgross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 13:38:34 +0000