aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2011-11-18Return of the tactic hints features in CoqIDE.ppedrot
2011-11-18Making status info better in CoqIDE: path and name of current lemmappedrot
2011-11-18Now Coqtop has a richer way to answer a query about its pending goals. Answer...ppedrot
2011-11-18Replaced goal api call with a proper structure. This disables menu hints in C...ppedrot
2011-11-18Coqide -debug only printed Coqtop information.pboutill
2011-11-06Also sprach CoqIDE (in XML)ppedrot
2011-10-26Fix configuration box bug in recursive callpboutill
2011-10-26Coq_makefile handles .mlpack filespboutill
2011-10-25Icons in CoqIdE preference panelpboutill
2011-10-25Configuration window of CoqIdE looks more like other Gtk one.pboutill
2011-09-27In Coq_config: get rid of coqsrc and make coqlib optionalglondu
2011-09-06ide/preferences.ml: apparently no `META in Gdk.Tags.modifierletouzey
2011-09-05Coqide: new backtracking code, based on the Backtrack commandletouzey
2011-09-05Ide_intf: slight reorganisation of the IDE apiletouzey
2011-09-02Coq_makefile: bugfix in install rulepboutill
2011-09-01Automatic search of project filepboutill
2011-09-01Coq_makefile : bug when a project file is not in the current directory.pboutill
2011-09-01safe_prerr_endline in Minilibpboutill
2011-09-01Add option -f to coqidepboutill
2011-09-01Add preferences to say how to deal with a project file.pboutill
2011-09-01same_file in Minilibpboutill
2011-09-01load_file takes advantage of same_file optimisationpboutill
2011-09-01create_session takes the filename as argument.pboutill
2011-09-01No more parser for reading coqide pref filepboutill
2011-09-01[/]+ is equivalent to [/] in System and its copypboutill
2011-09-01Creation of ide/project_file.ml4pboutill
2011-08-18Misc improvements concerning "Show Match" and its coqide equivalentletouzey
2011-08-09Coqide: revised parsing of coq sentencesletouzey
2011-07-27Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...pboutill
2011-07-26ide/coq_lex.mll: restore the separate parsing of .. (fix #2578)letouzey
2011-07-25Coqide: fixes and clarifications concerning sentence-terminatorsletouzey
2011-07-16This adds two option tables 'Printing Record' and 'Printing Constructor'herbelin
2011-07-08Coqide: undo comments (Second part of r14268)pboutill
2011-07-07Bug 2217: In coqide, a comment alone is now a sentence that isn't send to coqpboutill
2011-07-07Coqide understand { and }pboutill
2011-06-17Fix 2516: Utf8 font in Coqide Command panelpboutill
2011-06-14Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingpboutill
2011-06-10Coqide Menubar integration in MacOSpboutill
2011-06-10Menubar and toolbar in coqide using GtkUI & Gactions.pboutill
2011-05-18Coqide: allow the use of Abort (grant wish #2357)letouzey
2011-04-28Attempt to use more local doc in coqidepboutill
2011-04-28Coqide: try to properly send interrupts to coqtop on Win32letouzey
2011-04-26Coqide: fix remove_current_view_page (#2499)letouzey
2011-04-22Coqide: fix synchro when restarting during a single stepletouzey
2011-04-21Coqide: let's try to be synchronuous when killing coqtopletouzey
2011-04-21Coqide: remove some dead codeletouzey
2011-04-21Coqlib: avoid deadlock under win32 with force_reset_initialletouzey
2011-04-21Coqide: back to using Unix.stderr in create_processletouzey
2011-04-21Coqide: better handling of stdout/stderr in win32letouzey
2011-04-21Coqide: typoletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 20:40:34 +0000