aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2012-02-22Ide: sentences found by find_phrase_starting_at should be nonempty (fix #2683)letouzey
2012-02-02More information returned by coqtop about its internal state. Hopefully we'll...ppedrot
2011-12-18CoqIde files position is freedesktop compliant.pboutill
2011-12-15Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...ppedrot
2011-12-06Fixed a synchronization bug between coqtop and the CoqIDE command pane.ppedrot
2011-11-30Now CoqIDE relies on the option query mechanism to set printing options. Stil...ppedrot
2011-11-25Separated the toplevel interface into a purely declarative module with associ...ppedrot
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-18Coqide -debug only printed Coqtop information.pboutill
2011-09-05Coqide: new backtracking code, based on the Backtrack commandletouzey
2011-09-05Ide_intf: slight reorganisation of the IDE apiletouzey
2011-09-01Automatic search of project filepboutill
2011-09-01safe_prerr_endline in Minilibpboutill
2011-09-01Add option -f to coqidepboutill
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-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-25Coqide: fixes and clarifications concerning sentence-terminatorsletouzey
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-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-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: remove some dead codeletouzey
2011-04-21Coqlib: avoid deadlock under win32 with force_reset_initialletouzey
2011-04-21Coqide: typoletouzey
2011-04-21Coqide: a special kill function for win32letouzey
2011-04-21Coqide: try to avoid displaying error messages on coqide's consoleletouzey
2011-04-21Coqide: better construction of default coqtop pathletouzey
2011-04-21Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...letouzey
2011-04-20Coqide: Fix the command separator for external cmds (#2363)letouzey
2011-04-08More up to date About in coqidepboutill
2011-04-08coqide shutdown process change (and out the main function)pboutill
2011-03-30Coqide: avoid confusion of process when restarting coqtop + cosmeticletouzey
2011-03-30Ide_intf: remove useless int answer to the "interp" and "rewind" callsletouzey
2011-03-30Coqide: synchronise the reset_initial via the coq_computing mutexletouzey
2011-03-28Ide: misc (nicer message than End_of_file, a useless try removedletouzey
2011-03-28Ide: new option -coqtop <mycoqtop> + remove wrong quoting of argsletouzey
2011-03-25ide/coqide.ml: a pass of more decent automatic indentationletouzey
2011-03-25Ide: more reorganisation and cleanupletouzey
2011-03-25Ide_intf : change type of location in ideletouzey
2011-03-25Ide: mention "Restart" instead of "Go to start" for corresponding buttonletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 08:26:32 +0000