coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	- changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...	notin	2012-02-20
*	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
*	Improved synchronisation of stdlib index page with current library state.	herbelin	2012-02-01
*	index-list.html.template: add missing files	pboutill	2012-01-31
*	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
*	Version number, copyright, credits: missing updates.	herbelin	2011-12-25
*	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
*	Html page titles	pboutill	2011-12-07
*	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
*	CoqIdE configuration file won't pollute your home anymore	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
*	mainbiblio.bib : get rid of merge marker from failed merge	letouzey	2011-10-09
*	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
*	Updating some links in the FAQ	herbelin	2011-10-01
*	Added support for referring to subterms of the goal by pattern.	herbelin	2011-09-26
*	Applying Jean-Baptiste Rouquier's FAQ update proposed on coqdev about	herbelin	2011-09-24
*	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