aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Polishing the setup of CoqIDE Input MethodGravatar vgross2010-02-18
* Change the customization of modifiers (bug #2210)Gravatar vgross2010-02-15
* Simplify backtrackingGravatar vgross2010-02-12
* Delineating a API for Coq inside toplevel/vernac.mlGravatar vgross2010-02-12
* Refactoring of the printing optionsGravatar vgross2010-02-12
* New command Declare Reduction <id> := <conv_expr>.Gravatar letouzey2010-01-28
* Fix uncaught exceptionGravatar vgross2010-01-14
* Revert "Isolation of proof-displaying code"Gravatar vgross2010-01-11
* Isolation of proof-displaying codeGravatar vgross2010-01-11
* Patches and instructions to enable Input Method support in CoqIDE.Gravatar vgross2009-12-21
* Deport the backtracking code out of the ideGravatar vgross2009-12-11
* Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte...Gravatar letouzey2009-12-08
* 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
* Remove dubious call to Obj.magic (and dead code, by the way)Gravatar glondu2009-11-13
* Remove useless call to Obj.magicGravatar glondu2009-11-13
* scripting area now grabs focus at startup.Gravatar vgross2009-11-13
* new handling for lexical structures.Gravatar vgross2009-11-13
* lexing refactoringGravatar vgross2009-11-13
* A bit of cleaning around name generation + creation of dedicated file namegen.mlGravatar herbelin2009-11-09
* Removed 'Toplevel' language from extraction documentation, since it is not cu...Gravatar gmelquio2009-11-04
* Added Coqide highlighting for extraction vernacular.Gravatar gmelquio2009-10-30
* Removed 'dest' from keyword highlighting.Gravatar gmelquio2009-10-30
* Integrate a few improvements on typeclasses and Program from the equations br...Gravatar msozeau2009-10-28
* Add a new vernacular command for controling implicit generalization ofGravatar msozeau2009-10-27
* Added syntactic coloration for 'Function'.Gravatar gmelquio2009-10-20
* 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
* Removal of trailing spaces.Gravatar serpyc2009-10-04
* 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
* Ajout de la gestion de Local et Global pour les options (au sens deGravatar aspiwack2009-08-14
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* Added "etransitivity".Gravatar herbelin2009-08-03
* Improved parameterization of Coq:Gravatar herbelin2009-08-02
* Completing support for F5=About by adding About to the state-preserving comma...Gravatar herbelin2009-07-08
* Miscellaneous practical commits: Gravatar herbelin2009-06-29
* remove some unused functions (which are part of a soon-to-be obsoleteGravatar vgross2009-06-22
* clearing unused functionsGravatar vgross2009-06-22
* 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
* keeping interface synch'edGravatar vgross2009-05-27
* dead code pruningGravatar vgross2009-05-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-14 07:28:40 +0000