coq - the Coq proof assistant

	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