aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* 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
* 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
* Remove unused mli filesGravatar letouzey2009-03-27
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Cleanup: remove 3 unused files in ide/Gravatar letouzey2009-03-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 11:57:50 +0000