coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixed #2789.	ppedrot	2012-05-25
*	Addedum to documentation of bullets: I now use the dedicated coq_example	aspiwack	2012-05-10
*	Documentation for Unfocused, braces and bullets.	aspiwack	2012-05-10
*	Rephrasing section on Sorts in CIC chapter, accordingly to discussions	herbelin	2012-05-08
*	Ref. man., ch. CIC: clarifying the redundancy coming from having both	herbelin	2012-05-08
*	Removed the quasi-useless gtk2rc file and the documentation that went with it...	ppedrot	2012-04-27
*	Uniformisation in the documentation: remove the use of 'coinductive' in	aspiwack	2012-04-13
*	Documentation of records defined with the keywords Inductive and	aspiwack	2012-04-13
*	Restores pdf bookmarks in the reference manual.	aspiwack	2012-04-13
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Slight change in the semantics of arguments scopes: scopes can no	herbelin	2012-03-26
*	Documentation of last commit concerning Backtracking	letouzey	2012-03-23
*	Remove old proof-managment commands Suspend/Resume	letouzey	2012-03-23
*	RefMan: Environment variables description update	pboutill	2012-03-19
*	RefMan update about match syntax.	pboutill	2012-02-29
*	Document the [unify] tactic.	msozeau	2012-02-18
*	Documentation for Grab Existential Variables.	aspiwack	2012-02-07
*	Corrected a careless cut-and-paste in Gallina description which dated back to...	ppedrot	2012-02-01
*	Coqtop and coqc: cleaning description of options in RefMan and manpages.	pboutill	2012-01-21
*	Added documentation for "r foo" in Ltac debugger.	herbelin	2012-01-20
*	Added documentation for "Set Parsing Explicit" + fixed mistakenly	herbelin	2012-01-20
*	Added the btauto tactic to the documentation.	ppedrot	2012-01-19
*	Reference Manual: misc fixes (spelling, index, updating pre-8.0 syntax).	herbelin	2011-12-26
*	Credits for 8.4: More exhaustive list of external contributors.	herbelin	2011-12-23
*	Credits for 8.4 + resetting COMPATIBILITY file.	herbelin	2011-12-22
*	Fixed a Not_found bug when declaring in a section some implicit	herbelin	2011-12-18
*	Command Arguments: standardizing format of error messages and American spelling.	herbelin	2011-12-17
*	Proof using ...	gareuselesinge	2011-12-12
*	Documentation of Arguments + implicits	gareuselesinge	2011-12-06
*	Documentation for Arguments + notation scopes	gareuselesinge	2011-12-06
*	Documentation for Arguments + simpl	gareuselesinge	2011-12-06
*	Fixing bugs in doc about when "with" is needed or not to give bindings	herbelin	2011-12-04
*	Documentation of appcontext	letouzey	2011-11-29
*	doc: two minor fixes to make my latex happy	letouzey	2011-11-28
*	/home/pirbo/.coqrc* are read again	pboutill	2011-11-21
*	-user option removal	pboutill	2011-11-21
*	coqrc in the right XDG_CONFIG_HOME/coq folder	pboutill	2011-11-20
*	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill	2011-11-20
*	Extraction.tex: typo in an Extract Inductive example (fix #2625)	letouzey	2011-10-18
*	A new tactic is_var to check whether a term is a goal/section variable	letouzey	2011-10-07
*	Remove 'status' of Program and explain the :> better, as well as referencing ...	msozeau	2011-10-07
*	Added support for referring to subterms of the goal by pattern.	herbelin	2011-09-26
*	auto with nocore : disable the use of the core database (wish #2188)	letouzey	2011-09-23
*	doc/refman/Extraction.tex: no need to actually build euclid.ml	letouzey	2011-09-17
*	Remove code concerning the obsolete Set/Unset Undo	letouzey	2011-09-05
*	Bug 2589: Documentation patch of Hendrik Tews	pboutill	2011-09-02
*	Several bug reports came from confusions between generalize and set.	pboutill	2011-09-01
*	Bug 2583: Update of the syntax of terms in the reference manual	pboutill	2011-09-01
*	This adds two option tables 'Printing Record' and 'Printing Constructor'	herbelin	2011-07-16
*	This option disables the use of the '{\| field := ... \|}' notation	herbelin	2011-07-16