index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
Commit message (
Expand
)
Author
Age
*
Fix 2516: Utf8 font in Coqide Command panel
pboutill
2011-06-17
*
Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging
pboutill
2011-06-14
*
Coqide Menubar integration in MacOS
pboutill
2011-06-10
*
Menubar and toolbar in coqide using GtkUI & Gactions.
pboutill
2011-06-10
*
Coqide: allow the use of Abort (grant wish #2357)
letouzey
2011-05-18
*
Attempt to use more local doc in coqide
pboutill
2011-04-28
*
Coqide: try to properly send interrupts to coqtop on Win32
letouzey
2011-04-28
*
Coqide: fix remove_current_view_page (#2499)
letouzey
2011-04-26
*
Coqide: fix synchro when restarting during a single step
letouzey
2011-04-22
*
Coqide: let's try to be synchronuous when killing coqtop
letouzey
2011-04-21
*
Coqide: remove some dead code
letouzey
2011-04-21
*
Coqlib: avoid deadlock under win32 with force_reset_initial
letouzey
2011-04-21
*
Coqide: back to using Unix.stderr in create_process
letouzey
2011-04-21
*
Coqide: better handling of stdout/stderr in win32
letouzey
2011-04-21
*
Coqide: typo
letouzey
2011-04-21
*
Coqide: quote coqtop filename if necessary
letouzey
2011-04-21
*
Coqide: a special kill function for win32
letouzey
2011-04-21
*
Coqide: try to avoid displaying error messages on coqide's console
letouzey
2011-04-21
*
Coqide: better construction of default coqtop path
letouzey
2011-04-21
*
Win32: remove the need for Coq.bat and Coqide.bat
letouzey
2011-04-21
*
Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...
letouzey
2011-04-21
*
Win32: let's directly make coqtop.exe and coqide.exe incorporate coq.ico
letouzey
2011-04-21
*
Coqide: Fix the command separator for external cmds (#2363)
letouzey
2011-04-20
*
More up to date About in coqide
pboutill
2011-04-08
*
Macos integration step2 : shutdown
pboutill
2011-04-08
*
coqide shutdown process change (and out the main function)
pboutill
2011-04-08
*
Add 'Existing Instances' declaration to declare multiple instances at once.
letouzey
2011-04-06
*
Coqide: avoid confusion of process when restarting coqtop + cosmetic
letouzey
2011-03-30
*
Ide_intf: remove useless int answer to the "interp" and "rewind" calls
letouzey
2011-03-30
*
Ide_slave: better handling of Ctrl-C
letouzey
2011-03-30
*
Coqide: synchronise the reset_initial via the coq_computing mutex
letouzey
2011-03-30
*
Ide: misc (nicer message than End_of_file, a useless try removed
letouzey
2011-03-28
*
Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args
letouzey
2011-03-28
*
ide/coqide.ml: a pass of more decent automatic indentation
letouzey
2011-03-25
*
Ide: more reorganisation and cleanup
letouzey
2011-03-25
*
Ide_intf : change type of location in ide
letouzey
2011-03-25
*
Ide: mention "Restart" instead of "Go to start" for corresponding button
letouzey
2011-03-25
*
Ide: stronger separation from coqtop
letouzey
2011-03-23
*
Ide: experimentally allow coqide to interrupt or kill coqtop
letouzey
2011-03-23
*
Remove references to -ide option of coqmktop
glondu
2011-01-11
*
MacOS integration
pboutill
2011-01-07
*
Separate load_file handler in coqide
pboutill
2011-01-07
*
Coqide is not built with coqmktop any more
pboutill
2011-01-07
*
Call coqtop with -nois when probing for files
pboutill
2011-01-07
*
Fix print in coqide
pboutill
2011-01-07
*
Reverted r13715 "Add improved indenters that rely on the current proof state ...
gmelquio
2011-01-06
*
Remove Safe_marshal
glondu
2011-01-06
*
Add improved indenters that rely on the current proof state to choose the ind...
gmelquio
2010-12-14
*
Add navigation items for quickly moving between word occurrences.
gmelquio
2010-12-14
*
Improved the search/replace dialog box:
gmelquio
2010-12-14
[next]