aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Fix 2516: Utf8 font in Coqide Command panelGravatar pboutill2011-06-17
* Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingGravatar pboutill2011-06-14
* Coqide Menubar integration in MacOSGravatar pboutill2011-06-10
* Menubar and toolbar in coqide using GtkUI & Gactions.Gravatar pboutill2011-06-10
* Coqide: allow the use of Abort (grant wish #2357)Gravatar letouzey2011-05-18
* Attempt to use more local doc in coqideGravatar pboutill2011-04-28
* Coqide: try to properly send interrupts to coqtop on Win32Gravatar letouzey2011-04-28
* Coqide: fix remove_current_view_page (#2499)Gravatar letouzey2011-04-26
* Coqide: fix synchro when restarting during a single stepGravatar letouzey2011-04-22
* Coqide: let's try to be synchronuous when killing coqtopGravatar letouzey2011-04-21
* Coqide: remove some dead codeGravatar letouzey2011-04-21
* Coqlib: avoid deadlock under win32 with force_reset_initialGravatar letouzey2011-04-21
* Coqide: back to using Unix.stderr in create_processGravatar letouzey2011-04-21
* Coqide: better handling of stdout/stderr in win32Gravatar letouzey2011-04-21
* Coqide: typoGravatar letouzey2011-04-21
* Coqide: quote coqtop filename if necessaryGravatar letouzey2011-04-21
* Coqide: a special kill function for win32Gravatar letouzey2011-04-21
* Coqide: try to avoid displaying error messages on coqide's consoleGravatar letouzey2011-04-21
* Coqide: better construction of default coqtop pathGravatar letouzey2011-04-21
* Win32: remove the need for Coq.bat and Coqide.batGravatar letouzey2011-04-21
* Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...Gravatar letouzey2011-04-21
* Win32: let's directly make coqtop.exe and coqide.exe incorporate coq.icoGravatar letouzey2011-04-21
* Coqide: Fix the command separator for external cmds (#2363)Gravatar letouzey2011-04-20
* More up to date About in coqideGravatar pboutill2011-04-08
* Macos integration step2 : shutdownGravatar pboutill2011-04-08
* coqide shutdown process change (and out the main function)Gravatar pboutill2011-04-08
* Add 'Existing Instances' declaration to declare multiple instances at once.Gravatar letouzey2011-04-06
* Coqide: avoid confusion of process when restarting coqtop + cosmeticGravatar letouzey2011-03-30
* Ide_intf: remove useless int answer to the "interp" and "rewind" callsGravatar letouzey2011-03-30
* Ide_slave: better handling of Ctrl-CGravatar letouzey2011-03-30
* Coqide: synchronise the reset_initial via the coq_computing mutexGravatar letouzey2011-03-30
* Ide: misc (nicer message than End_of_file, a useless try removedGravatar letouzey2011-03-28
* Ide: new option -coqtop <mycoqtop> + remove wrong quoting of argsGravatar letouzey2011-03-28
* ide/coqide.ml: a pass of more decent automatic indentationGravatar letouzey2011-03-25
* Ide: more reorganisation and cleanupGravatar letouzey2011-03-25
* Ide_intf : change type of location in ideGravatar letouzey2011-03-25
* Ide: mention "Restart" instead of "Go to start" for corresponding buttonGravatar letouzey2011-03-25
* Ide: stronger separation from coqtopGravatar letouzey2011-03-23
* Ide: experimentally allow coqide to interrupt or kill coqtopGravatar letouzey2011-03-23
* Remove references to -ide option of coqmktopGravatar glondu2011-01-11
* MacOS integrationGravatar pboutill2011-01-07
* Separate load_file handler in coqideGravatar pboutill2011-01-07
* Coqide is not built with coqmktop any moreGravatar pboutill2011-01-07
* Call coqtop with -nois when probing for filesGravatar pboutill2011-01-07
* Fix print in coqideGravatar pboutill2011-01-07
* Reverted r13715 "Add improved indenters that rely on the current proof state ...Gravatar gmelquio2011-01-06
* Remove Safe_marshalGravatar glondu2011-01-06
* Add improved indenters that rely on the current proof state to choose the ind...Gravatar gmelquio2010-12-14
* Add navigation items for quickly moving between word occurrences.Gravatar gmelquio2010-12-14
* Improved the search/replace dialog box:Gravatar gmelquio2010-12-14