aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/gtk_parsing.ml
Commit message (Expand)AuthorAge
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Updating headers.Gravatar herbelin2012-08-08
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Rewritten the autocompletion mechanism of CoqIDE, and stuffed itGravatar ppedrot2012-05-08
* Remove some unnecessary (?) "open Ideutils"Gravatar glondu2010-10-31
* Fix function applications without labels (OCaml warning 6)Gravatar glondu2010-09-28
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1Gravatar vgross2009-12-03
* Refactoring of coqide backtrack code, with the intent to put everythingGravatar vgross2009-11-19
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* minor bugfixes. CoqIde development will resume soon now ...Gravatar vgross2009-05-13
* - per session coq command stackGravatar vgross2009-03-07