| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-09-14 | removed the double-click / proof hiding association. | vgross |
| 2009-09-14 | tags refactoring | vgross |
| 2009-08-14 | Tried to make F1 documentation tool working in CoqIDE. | herbelin |
| 2009-06-29 | Miscellaneous practical commits: | herbelin |
| 2009-06-11 | Simplifying the call to print_no_goals and not calling it when no goal | herbelin |
| 2009-06-08 | Change in UI behaviour : proof folding is now done by double clicking. Delay is | vgross |
| 2009-06-07 | Partial simplification of undo mechanism, relying only on Courtieu's | herbelin |
| 2009-05-27 | sane behaviour for copy/paste operations (the code is still insane, though) | vgross |
| 2009-05-13 | minor bugfixes. CoqIde development will resume soon now ... | vgross |
| 2009-04-24 | Report de la révision #12104 (Maj lien site web de Coq) | notin |
| 2009-03-07 | - per session coq command stack | vgross |
| 2009-03-02 | Heavy modifications on the widget and edition tab creation mechanism. | vgross |
| 2009-01-23 | Suppression de l'ancien logo (problèmes de droits) | notin |
| 2009-01-20 | Added some missing statements for proof folding and corrected | vgross |
