aboutsummaryrefslogtreecommitdiff
path: root/ide
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-26Redispatch of printing tweaking hooks.vgross
2010-02-25Various fixes in interp, session switching and backtrackingvgross
2010-02-25Changes in lexing and tagging.vgross
2010-02-19Fixing compilation issuesvgross
2010-02-18Fixing modules names.vgross
2010-02-18Adding uim filesvgross
2010-02-18Polishing the setup of CoqIDE Input Methodvgross
2010-02-15Change the customization of modifiers (bug #2210)vgross
2010-02-12Simplify backtrackingvgross
2010-02-12Delineating a API for Coq inside toplevel/vernac.mlvgross
2010-02-12Refactoring of the printing optionsvgross
2010-01-28New command Declare Reduction <id> := <conv_expr>.letouzey
2010-01-14Fix uncaught exceptionvgross
2010-01-11Revert "Isolation of proof-displaying code"vgross
2010-01-11Isolation of proof-displaying codevgross
2009-12-21Patches and instructions to enable Input Method support in CoqIDE.vgross
2009-12-11Deport the backtracking code out of the idevgross
2009-12-08Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte...letouzey
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-13Remove dubious call to Obj.magic (and dead code, by the way)glondu
2009-11-13Remove useless call to Obj.magicglondu
2009-11-13scripting area now grabs focus at startup.vgross
2009-11-13new handling for lexical structures.vgross
2009-11-13lexing refactoringvgross
2009-11-09A bit of cleaning around name generation + creation of dedicated file namegen.mlherbelin
2009-11-04Removed 'Toplevel' language from extraction documentation, since it is not cu...gmelquio
2009-10-30Added Coqide highlighting for extraction vernacular.gmelquio
2009-10-30Removed 'dest' from keyword highlighting.gmelquio
2009-10-28Integrate a few improvements on typeclasses and Program from the equations br...msozeau
2009-10-27Add a new vernacular command for controling implicit generalization ofmsozeau
2009-10-20Added syntactic coloration for 'Function'.gmelquio
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-10-04Removal of trailing spaces.serpyc
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-14Ajout de la gestion de Local et Global pour les options (au sens deaspiwack
2009-08-14Tried to make F1 documentation tool working in CoqIDE.herbelin
2009-08-03Added "etransitivity".herbelin
2009-08-02Improved parameterization of Coq:herbelin
2009-07-08Completing support for F5=About by adding About to the state-preserving comma...herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 06:34:29 +0000