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
*
In Coq_config: get rid of coqsrc and make coqlib optional
glondu
2011-09-27
*
ide/preferences.ml: apparently no `META in Gdk.Tags.modifier
letouzey
2011-09-06
*
Coqide: new backtracking code, based on the Backtrack command
letouzey
2011-09-05
*
Ide_intf: slight reorganisation of the IDE api
letouzey
2011-09-05
*
Coq_makefile: bugfix in install rule
pboutill
2011-09-02
*
Automatic search of project file
pboutill
2011-09-01
*
Coq_makefile : bug when a project file is not in the current directory.
pboutill
2011-09-01
*
safe_prerr_endline in Minilib
pboutill
2011-09-01
*
Add option -f to coqide
pboutill
2011-09-01
*
Add preferences to say how to deal with a project file.
pboutill
2011-09-01
*
same_file in Minilib
pboutill
2011-09-01
*
load_file takes advantage of same_file optimisation
pboutill
2011-09-01
*
create_session takes the filename as argument.
pboutill
2011-09-01
*
No more parser for reading coqide pref file
pboutill
2011-09-01
*
[/]+ is equivalent to [/] in System and its copy
pboutill
2011-09-01
*
Creation of ide/project_file.ml4
pboutill
2011-09-01
*
Misc improvements concerning "Show Match" and its coqide equivalent
letouzey
2011-08-18
*
Coqide: revised parsing of coq sentences
letouzey
2011-08-09
*
Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...
pboutill
2011-07-27
*
ide/coq_lex.mll: restore the separate parsing of .. (fix #2578)
letouzey
2011-07-26
*
Coqide: fixes and clarifications concerning sentence-terminators
letouzey
2011-07-25
*
This adds two option tables 'Printing Record' and 'Printing Constructor'
herbelin
2011-07-16
*
Coqide: undo comments (Second part of r14268)
pboutill
2011-07-08
*
Bug 2217: In coqide, a comment alone is now a sentence that isn't send to coq
pboutill
2011-07-07
*
Coqide understand { and }
pboutill
2011-07-07
*
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
[next]