| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-01-20 | Added proof folding into CoqIde. See RefMan for using it. | vgross |
| 2008-12-02 | Miscellaneous fixes and improvements: | herbelin |
| 2008-11-07 | - Ajout possibilité de lancer ocamldebug sur coqide | herbelin |
| 2008-07-10 | Bug résiduel du backtrack de coqide se produisant lorsque la limite de | herbelin |
| 2008-06-27 | Logo Coq dans coqide | notin |
| 2008-06-13 | CoqIDE: 2 problèmes de undo encore: | herbelin |
| 2008-06-11 | 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-10 | Ajout query Locate dans coqide sur suggestion Arthur C. | herbelin |
| 2008-06-09 | 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-08 | enleve les majuscules dans Save All, comem suggéré pas Hugo | jnarboux |
| 2008-06-06 | - On adopte finalement la méthode de Pierre Courtieu pour le undo de | herbelin |
| 2008-06-03 | improve name, size and position of detached windows | jnarboux |
| 2008-06-03 | try to reduce the size of the queries pane | jnarboux |
| 2008-05-30 | - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t" | herbelin |
| 2008-05-29 | backtrack sur utilisation de do_overwrite_confirmation | jnarboux |
| 2008-05-28 | 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-27 | revert toolbar to previous state: icons style | jnarboux |
| 2008-05-26 | transform the toolbar icons for display of information into a Display menu wi... | jnarboux |
| 2008-05-26 | Réorganisation des points d'appui du undo de CoqIDE (type reset_info). | herbelin |
| 2008-05-26 | Encore un bug de undo | herbelin |
| 2008-05-25 | - Nouvelle option "Set Printing Existential Instances" pour forcer | herbelin |
| 2008-05-24 | - Prise en compte des frozen state de Coq autant que possible pour | herbelin |
| 2008-05-21 | Désactivation affichage image coqide en attendant un barcelos | herbelin |
| 2008-05-21 | Correction bugs ide undo et highlight (suite à typos) | herbelin |
| 2008-05-20 | Léger backtrack sur commit coqide précédent (si la commande à annuler | herbelin |
| 2008-05-20 | Fixed coqide bug #1856 that was introduced in revision 10915. | herbelin |
| 2008-05-10 | Amélioration de la colorisation, du backtrack et des messages de CoqIDE | herbelin |
| 2008-05-08 | ** Efficacité, bugs, robustesse CoqIDE ** | herbelin |
| 2008-01-10 | Correction du bug #1770: il semble que la recherche insensible à la casse ne... | notin |
| 2007-12-06 | Commit intermédiaire express de réparation de coqide.ml, que j'avais | aspiwack |
