coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ide: sentences found by find_phrase_starting_at should be nonempty (fix #2683)	letouzey	2012-02-22
*	More information returned by coqtop about its internal state. Hopefully we'll...	ppedrot	2012-02-02
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	Coq_makefile: if no -install is provided, install location is set by a Makefi...	pboutill	2011-12-17
*	Coqide: adapt some comments now that bullets are terminators like { }	letouzey	2011-12-16
*	Adapting coqide to my last commit:	courtieu	2011-12-16
*	Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...	ppedrot	2011-12-15
*	Typo	pboutill	2011-12-07
*	Fixed a synchronization bug between coqtop and the CoqIDE command pane.	ppedrot	2011-12-06
*	Fixed a bug introduced in r12755. CoqIDE would ignore the Printing Existentia...	ppedrot	2011-11-30
*	Now CoqIDE relies on the option query mechanism to set printing options. Stil...	ppedrot	2011-11-30
*	Separated the toplevel interface into a purely declarative module with associ...	ppedrot	2011-11-25
*	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