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
*	Fixup r15251 second time	pboutill	2012-05-03
*	Removed the quasi-useless gtk2rc file and the documentation that went with it...	ppedrot	2012-04-27
*	MSetRBT : implementation of MSets via Red-Black trees	letouzey	2012-04-13
*	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
*	- 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