aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2010-02-26New backtracking code + fix bug #2082.vgross
2010-02-26Introducing a dual stack setupvgross
2010-02-26New API for backtracking.vgross
2010-02-25Various fixes in interp, session switching and backtrackingvgross
2010-02-25Changes in lexing and tagging.vgross
2010-02-18Fixing modules names.vgross
2010-02-12Refactoring of the printing optionsvgross
2010-01-14Fix uncaught exceptionvgross
2010-01-11Revert "Isolation of proof-displaying code"vgross
2010-01-11Isolation of proof-displaying codevgross
2009-12-11Deport the backtracking code out of the idevgross
2009-12-07Fix bug #2197 (option show_toolbar not taken into account at startup)vgross
2009-12-07Remove the "detach script windows" feature.vgross
2009-12-03Fix bug #2191 : Serious "undo" performance degradation since 8.2pl1vgross
2009-11-23Ergonomy and robustness fixvgross
2009-11-19Refactoring of coqide backtrack code, with the intent to put everythingvgross
2009-11-13scripting area now grabs focus at startup.vgross
2009-11-13new handling for lexical structures.vgross
2009-10-16note for later : when the tag table is shared, never, ever create twovgross
2009-10-05Revert "kills the old backtracking framework and replaces it with"vgross
2009-09-29kills the old backtracking framework and replaces it withvgross
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-09-14removed the double-click / proof hiding association.vgross
2009-09-14tags refactoringvgross
2009-08-14Tried to make F1 documentation tool working in CoqIDE.herbelin
2009-06-29Miscellaneous practical commits: herbelin
2009-06-11Simplifying the call to print_no_goals and not calling it when no goalherbelin
2009-06-08Change in UI behaviour : proof folding is now done by double clicking. Delay isvgross
2009-06-07Partial simplification of undo mechanism, relying only on Courtieu'sherbelin
2009-05-27sane behaviour for copy/paste operations (the code is still insane, though)vgross
2009-05-13minor bugfixes. CoqIde development will resume soon now ...vgross
2009-04-24Report de la révision #12104 (Maj lien site web de Coq)notin
2009-03-07- per session coq command stackvgross
2009-03-02Heavy modifications on the widget and edition tab creation mechanism.vgross
2009-01-23Suppression de l'ancien logo (problèmes de droits)notin
2009-01-20Added some missing statements for proof folding and correctedvgross
2009-01-20Added proof folding into CoqIde. See RefMan for using it.vgross
2008-12-02Miscellaneous fixes and improvements:herbelin
2008-11-07- Ajout possibilité de lancer ocamldebug sur coqideherbelin
2008-07-10Bug résiduel du backtrack de coqide se produisant lorsque la limite deherbelin
2008-06-27Logo Coq dans coqidenotin
2008-06-13CoqIDE: 2 problèmes de undo encore:herbelin
2008-06-11now Escape toggles query panejnarboux
2008-06-11Plutôt que de reposer sur le vernacexpr pour détecter les débuts deherbelin
2008-06-11escape key now hides panejnarboux
2008-06-10Ajout query Locate dans coqide sur suggestion Arthur C.herbelin
2008-06-09On prend des risques en tentant d'optimiser encore plus le undo en casherbelin
2008-06-09- Documentation de admit et Print Assumptions.herbelin
2008-06-09more uniform name of app for windows classjnarboux
2008-06-09fix toggle item for show hide query panejnarboux
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:23:36 +0000