aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
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
2011-04-21Coqide: quote coqtop filename if necessaryletouzey
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: remove the need for Coq.bat and Coqide.batletouzey
2011-04-21Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...letouzey
2011-04-21Win32: let's directly make coqtop.exe and coqide.exe incorporate coq.icoletouzey
2011-04-20Coqide: Fix the command separator for external cmds (#2363)letouzey
2011-04-08More up to date About in coqidepboutill
2011-04-08Macos integration step2 : shutdownpboutill
2011-04-08coqide shutdown process change (and out the main function)pboutill
2011-04-06Add 'Existing Instances' declaration to declare multiple instances at once.letouzey
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-30Ide_slave: better handling of Ctrl-Cletouzey
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
2011-03-23Ide: stronger separation from coqtopletouzey
2011-03-23Ide: experimentally allow coqide to interrupt or kill coqtopletouzey
2011-01-11Remove references to -ide option of coqmktopglondu
2011-01-07MacOS integrationpboutill
2011-01-07Separate load_file handler in coqidepboutill
2011-01-07Coqide is not built with coqmktop any morepboutill
2011-01-07Call coqtop with -nois when probing for filespboutill
2011-01-07Fix print in coqidepboutill
2011-01-06Reverted r13715 "Add improved indenters that rely on the current proof state ...gmelquio
2011-01-06Remove Safe_marshalglondu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 01:32:41 +0000