| Age | Commit message (Expand) | Author |
|---|
| 2010-12-14 | Add improved indenters that rely on the current proof state to choose the ind... | gmelquio |
| 2010-12-14 | Add navigation items for quickly moving between word occurrences. | gmelquio |
| 2010-12-14 | Improved the search/replace dialog box: | gmelquio |
| 2010-12-14 | Fix mutex being released from a different thread than it is acquired from. | gmelquio |
| 2010-12-13 | Avoid silent loss of data when closing an unsaved buffer. | gmelquio |
| 2010-12-04 | Made new comm. model between coq and coqide support '-R foo ""'-style option. | herbelin |
| 2010-11-07 | Improved error messages in CoqIDE: | herbelin |
| 2010-11-04 | End of commit 13600: files can be given as arguments of coqide again. | pboutill |
| 2010-09-28 | Fix function applications without labels (OCaml warning 6) | glondu |
| 2010-09-14 | CoqIDE argv parsing delegated to coqtop | vgross |
| 2010-09-13 | Fix unescaped end-of-lines (OCaml warning 29) | glondu |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-07-05 | Fix goal display when backtracking | vgross |
| 2010-07-05 | Robustness fix : clean restart of coqtop on pipe error + force matching | vgross |
| 2010-07-05 | Stronger checks on coqtop termination, warning when zombies. | vgross |
| 2010-07-02 | Fixing tabs closing problems by removing activation infrastructure. | vgross |
| 2010-06-22 | fix bug #2318, parsing error on dos line endings | vgross |
| 2010-06-07 | fixing error message display. | vgross |
| 2010-06-01 | added -args option to coqide to pass options to coqtops | vgross |
| 2010-05-31 | CoqIDE goes multiprocess | vgross |
| 2010-05-31 | Introducing strong typing for IDE - toplevel IPC | vgross |
| 2010-05-31 | deporting Coq specific code from ide to toplevel. | vgross |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-28 | Dont recompute the contents of the proof window when entering the | vgross |
| 2010-04-22 | Here comes the commit, announced long ago, of the new tactic engine. | aspiwack |
| 2010-04-05 | Changement de ide/proofs.ml en ide/ideproofs.ml pour éviter un conflit | aspiwack |
| 2010-03-23 | Changing types to reflect futur separation between toplevel and ide. | vgross |
| 2010-03-23 | Goal generation deported into ide/coq.ml, single function to obtain | vgross |
| 2010-02-26 | New backtracking code + fix bug #2082. | vgross |
| 2010-02-26 | Introducing a dual stack setup | vgross |
| 2010-02-26 | New API for backtracking. | vgross |
| 2010-02-25 | Various fixes in interp, session switching and backtracking | vgross |
| 2010-02-25 | Changes in lexing and tagging. | vgross |
| 2010-02-18 | Fixing modules names. | vgross |
| 2010-02-12 | Refactoring of the printing options | vgross |
| 2010-01-14 | Fix uncaught exception | vgross |
| 2010-01-11 | Revert "Isolation of proof-displaying code" | vgross |
| 2010-01-11 | Isolation of proof-displaying code | vgross |
| 2009-12-11 | Deport the backtracking code out of the ide | vgross |
| 2009-12-07 | Fix bug #2197 (option show_toolbar not taken into account at startup) | vgross |
| 2009-12-07 | Remove the "detach script windows" feature. | vgross |
| 2009-12-03 | Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1 | vgross |
| 2009-11-23 | Ergonomy and robustness fix | vgross |
| 2009-11-19 | Refactoring of coqide backtrack code, with the intent to put everything | vgross |
| 2009-11-13 | scripting area now grabs focus at startup. | vgross |
| 2009-11-13 | new handling for lexical structures. | vgross |
| 2009-10-16 | note for later : when the tag table is shared, never, ever create two | vgross |
| 2009-10-05 | Revert "kills the old backtracking framework and replaces it with" | vgross |
| 2009-09-29 | kills the old backtracking framework and replaces it with | vgross |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
