coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	coqide default pref files are by default in /etc/xdg/coq/	pboutill	2011-11-21
*	coqide-gtk2rc not dotted	pboutill	2011-11-20
*	CoqIdE configuration file won't pollute your home anymore	pboutill	2011-11-20
*	Teach coq_makefile how to install into XDG_DATA_HOME.	pboutill	2011-11-20
*	Return of the tactic hints features in CoqIDE.	ppedrot	2011-11-18
*	Making status info better in CoqIDE: path and name of current lemma	ppedrot	2011-11-18
*	Now Coqtop has a richer way to answer a query about its pending goals. Answer...	ppedrot	2011-11-18
*	Replaced goal api call with a proper structure. This disables menu hints in C...	ppedrot	2011-11-18
*	Coqide -debug only printed Coqtop information.	pboutill	2011-11-18
*	Also sprach CoqIDE (in XML)	ppedrot	2011-11-06
*	Fix configuration box bug in recursive call	pboutill	2011-10-26
*	Coq_makefile handles .mlpack files	pboutill	2011-10-26
*	Icons in CoqIdE preference panel	pboutill	2011-10-25
*	Configuration window of CoqIdE looks more like other Gtk one.	pboutill	2011-10-25
*	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