aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqide.ml
Commit message (Expand)AuthorAge
* Fix uncaught exceptionGravatar vgross2010-01-14
* Revert "Isolation of proof-displaying code"Gravatar vgross2010-01-11
* Isolation of proof-displaying codeGravatar vgross2010-01-11
* Deport the backtracking code out of the ideGravatar vgross2009-12-11
* Fix bug #2197 (option show_toolbar not taken into account at startup)Gravatar vgross2009-12-07
* Remove the "detach script windows" feature.Gravatar vgross2009-12-07
* Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1Gravatar vgross2009-12-03
* Ergonomy and robustness fixGravatar vgross2009-11-23
* Refactoring of coqide backtrack code, with the intent to put everythingGravatar vgross2009-11-19
* scripting area now grabs focus at startup.Gravatar vgross2009-11-13
* new handling for lexical structures.Gravatar vgross2009-11-13
* note for later : when the tag table is shared, never, ever create twoGravatar vgross2009-10-16
* Revert "kills the old backtracking framework and replaces it with"Gravatar vgross2009-10-05
* kills the old backtracking framework and replaces it withGravatar vgross2009-09-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* removed the double-click / proof hiding association.Gravatar vgross2009-09-14
* tags refactoringGravatar vgross2009-09-14
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* Miscellaneous practical commits: Gravatar herbelin2009-06-29
* Simplifying the call to print_no_goals and not calling it when no goalGravatar herbelin2009-06-11
* Change in UI behaviour : proof folding is now done by double clicking. Delay isGravatar vgross2009-06-08
* Partial simplification of undo mechanism, relying only on Courtieu'sGravatar herbelin2009-06-07
* sane behaviour for copy/paste operations (the code is still insane, though)Gravatar vgross2009-05-27
* minor bugfixes. CoqIde development will resume soon now ...Gravatar vgross2009-05-13
* Report de la révision #12104 (Maj lien site web de Coq)Gravatar notin2009-04-24
* - per session coq command stackGravatar vgross2009-03-07
* Heavy modifications on the widget and edition tab creation mechanism.Gravatar vgross2009-03-02
* Suppression de l'ancien logo (problèmes de droits)Gravatar notin2009-01-23
* Added some missing statements for proof folding and correctedGravatar vgross2009-01-20
* Added proof folding into CoqIde. See RefMan for using it.Gravatar vgross2009-01-20
* Miscellaneous fixes and improvements:Gravatar herbelin2008-12-02
* - Ajout possibilité de lancer ocamldebug sur coqideGravatar herbelin2008-11-07
* Bug résiduel du backtrack de coqide se produisant lorsque la limite deGravatar herbelin2008-07-10
* Logo Coq dans coqideGravatar notin2008-06-27
* CoqIDE: 2 problèmes de undo encore:Gravatar herbelin2008-06-13
* now Escape toggles query paneGravatar jnarboux2008-06-11
* Plutôt que de reposer sur le vernacexpr pour détecter les débuts deGravatar herbelin2008-06-11
* escape key now hides paneGravatar jnarboux2008-06-11
* Ajout query Locate dans coqide sur suggestion Arthur C.Gravatar herbelin2008-06-10
* On prend des risques en tentant d'optimiser encore plus le undo en casGravatar herbelin2008-06-09
* - Documentation de admit et Print Assumptions.Gravatar herbelin2008-06-09
* more uniform name of app for windows classGravatar jnarboux2008-06-09
* fix toggle item for show hide query paneGravatar jnarboux2008-06-09
* add confirmation dialog for printingGravatar jnarboux2008-06-09
* enleve les majuscules dans Save All, comem suggéré pas HugoGravatar jnarboux2008-06-08
* - On adopte finalement la méthode de Pierre Courtieu pour le undo deGravatar herbelin2008-06-06
* improve name, size and position of detached windowsGravatar jnarboux2008-06-03
* try to reduce the size of the queries paneGravatar jnarboux2008-06-03
* - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"Gravatar herbelin2008-05-30
* backtrack sur utilisation de do_overwrite_confirmationGravatar jnarboux2008-05-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-10 20:38:04 +0000