coq - The formal proof system

Age	Commit message (Expand)	Author
2011-09-06	ide/preferences.ml: apparently no `META in Gdk.Tags.modifier	letouzey
2011-09-05	Coqide: new backtracking code, based on the Backtrack command	letouzey
2011-09-05	Ide_intf: slight reorganisation of the IDE api	letouzey
2011-09-02	Coq_makefile: bugfix in install rule	pboutill
2011-09-01	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-08-18	Misc improvements concerning "Show Match" and its coqide equivalent	letouzey
2011-08-09	Coqide: revised parsing of coq sentences	letouzey
2011-07-27	Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...	pboutill
2011-07-26	ide/coq_lex.mll: restore the separate parsing of .. (fix #2578)	letouzey
2011-07-25	Coqide: fixes and clarifications concerning sentence-terminators	letouzey
2011-07-16	This adds two option tables 'Printing Record' and 'Printing Constructor'	herbelin
2011-07-08	Coqide: undo comments (Second part of r14268)	pboutill
2011-07-07	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-06-17	Fix 2516: Utf8 font in Coqide Command panel	pboutill
2011-06-14	Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging	pboutill
2011-06-10	Coqide Menubar integration in MacOS	pboutill
2011-06-10	Menubar and toolbar in coqide using GtkUI & Gactions.	pboutill
2011-05-18	Coqide: allow the use of Abort (grant wish #2357)	letouzey
2011-04-28	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-26	Coqide: fix remove_current_view_page (#2499)	letouzey
2011-04-22	Coqide: fix synchro when restarting during a single step	letouzey
2011-04-21	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-20	Coqide: Fix the command separator for external cmds (#2363)	letouzey
2011-04-08	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