aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
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
2009-06-29Miscellaneous practical commits: herbelin
2009-06-22remove some unused functions (which are part of a soon-to-be obsoletevgross
2009-06-22clearing unused functionsvgross
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-27keeping interface synch'edvgross
2009-05-27dead code pruningvgross
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-27Remove unused mli filesletouzey
2009-03-20Many changes in the Makefile infrastructure + a beginning of ocamlbuildletouzey
2009-03-11Cleanup: remove 3 unused files in ide/letouzey
2009-03-07- per session coq command stackvgross
2009-03-06fixed groebner as a plugin + pattern matching Timeoutbarras
2009-03-04Temporary hack to make coqide.byte work (backport r11948) (see #2062)glondu
2009-03-04fixes to typecheck with old lablgtk.vgross
2009-03-03Hack to fix compilation problems. will be removed on lablgtk upgrade.vgross
2009-03-02Heavy modifications on the widget and edition tab creation mechanism.vgross
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 03:27:44 +0000