| Commit message (Expand) | Author | Age |
* | Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1 | vgross | 2009-12-03 |
* | Ergonomy and robustness fix | vgross | 2009-11-23 |
* | Refactoring of coqide backtrack code, with the intent to put everything | vgross | 2009-11-19 |
* | scripting area now grabs focus at startup. | vgross | 2009-11-13 |
* | new handling for lexical structures. | vgross | 2009-11-13 |
* | note for later : when the tag table is shared, never, ever create two | vgross | 2009-10-16 |
* | Revert "kills the old backtracking framework and replaces it with" | vgross | 2009-10-05 |
* | kills the old backtracking framework and replaces it with | vgross | 2009-09-29 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | removed the double-click / proof hiding association. | vgross | 2009-09-14 |
* | tags refactoring | vgross | 2009-09-14 |
* | Tried to make F1 documentation tool working in CoqIDE. | herbelin | 2009-08-14 |
* | Miscellaneous practical commits: | herbelin | 2009-06-29 |
* | Simplifying the call to print_no_goals and not calling it when no goal | herbelin | 2009-06-11 |
* | Change in UI behaviour : proof folding is now done by double clicking. Delay is | vgross | 2009-06-08 |
* | Partial simplification of undo mechanism, relying only on Courtieu's | herbelin | 2009-06-07 |
* | sane behaviour for copy/paste operations (the code is still insane, though) | vgross | 2009-05-27 |
* | minor bugfixes. CoqIde development will resume soon now ... | vgross | 2009-05-13 |
* | Report de la révision #12104 (Maj lien site web de Coq) | notin | 2009-04-24 |
* | - per session coq command stack | vgross | 2009-03-07 |
* | Heavy modifications on the widget and edition tab creation mechanism. | vgross | 2009-03-02 |
* | Suppression de l'ancien logo (problèmes de droits) | notin | 2009-01-23 |
* | Added some missing statements for proof folding and corrected | vgross | 2009-01-20 |
* | Added proof folding into CoqIde. See RefMan for using it. | vgross | 2009-01-20 |
* | Miscellaneous fixes and improvements: | herbelin | 2008-12-02 |
* | - Ajout possibilité de lancer ocamldebug sur coqide | herbelin | 2008-11-07 |
* | Bug résiduel du backtrack de coqide se produisant lorsque la limite de | herbelin | 2008-07-10 |
* | Logo Coq dans coqide | notin | 2008-06-27 |
* | CoqIDE: 2 problèmes de undo encore: | herbelin | 2008-06-13 |
* | now Escape toggles query pane | jnarboux | 2008-06-11 |
* | Plutôt que de reposer sur le vernacexpr pour détecter les débuts de | herbelin | 2008-06-11 |
* | escape key now hides pane | jnarboux | 2008-06-11 |
* | Ajout query Locate dans coqide sur suggestion Arthur C. | herbelin | 2008-06-10 |
* | On prend des risques en tentant d'optimiser encore plus le undo en cas | herbelin | 2008-06-09 |
* | - Documentation de admit et Print Assumptions. | herbelin | 2008-06-09 |
* | more uniform name of app for windows class | jnarboux | 2008-06-09 |
* | fix toggle item for show hide query pane | jnarboux | 2008-06-09 |
* | add confirmation dialog for printing | jnarboux | 2008-06-09 |
* | enleve les majuscules dans Save All, comem suggéré pas Hugo | jnarboux | 2008-06-08 |
* | - On adopte finalement la méthode de Pierre Courtieu pour le undo de | herbelin | 2008-06-06 |
* | improve name, size and position of detached windows | jnarboux | 2008-06-03 |
* | try to reduce the size of the queries pane | jnarboux | 2008-06-03 |
* | - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t" | herbelin | 2008-05-30 |
* | backtrack sur utilisation de do_overwrite_confirmation | jnarboux | 2008-05-29 |
* | replace the query window of coqide by a pane in main window as suggested by hugo | jnarboux | 2008-05-28 |
* | add option to change modifiers of display menu | jnarboux | 2008-05-28 |
* | Réorganisation fenêtre d'accueil CoqIDE et About; nouvelle image de | herbelin | 2008-05-28 |
* | add support for pdf in coqdoc, add export to pdf in coqide, port open and sav... | jnarboux | 2008-05-28 |
* | revert toolbar to previous state: icons style | jnarboux | 2008-05-27 |
* | transform the toolbar icons for display of information into a Display menu wi... | jnarboux | 2008-05-26 |