coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	Updating headers.	herbelin	2012-08-08
*	Notation: a new annotation "compat 8.x" extending "only parsing"	letouzey	2012-07-05
*	Getting rid of Pp.msgnl and Pp.message.	ppedrot	2012-06-01
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	/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
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	Add directories in COQPATH to search path.	herbelin	2011-04-14
*	Reorder search path order, so the standard library is search last.	herbelin	2011-04-14
*	First release of Vector library.	pboutill	2010-12-10
*	Move stuff about positive into a distinct PArith subdir	letouzey	2010-11-02
*	Fix function applications without labels (OCaml warning 6)	glondu	2010-09-28
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	MSets: a new generation of FSets	letouzey	2009-10-13
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Some dead code removal + cleanups	letouzey	2009-04-08
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	Made the debugger work again:	herbelin	2009-01-02
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Integration of theories/Ints into theories/Numbers, part 3: fixing forgotten ...	letouzey	2008-05-07
*	Bugs, nettoyage, et améliorations diverses	herbelin	2008-04-13
*	some references to IntMap forgotten in last commit	letouzey	2008-03-19
*	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau	2007-12-31
*	migration of ide/utf8.v to theories/Unicode/Utf8.v	letouzey	2007-12-13
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Modification de l'initialisation des chemins de la librairie standard	notin	2007-08-20
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	bug de coqide sous windows (bad file descriptor)	barras	2005-11-23
*	Ajout récursif du répertoire COQLIB/user-contrib au chemin de chargement	herbelin	2005-03-11
*	Nouvelle en-tête	herbelin	2004-07-16
*	- fixed the Assert_failure error in kernel/modops	barras	2004-02-18
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...	herbelin	2003-11-29
*	Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofs	herbelin	2003-08-11
*	fabrication de ide/utf8.vo	letouzey	2003-05-23
*	Ajout répertoire interp	herbelin	2002-11-27
*	compat ocaml 3.03	filliatr	2001-12-13
*	GROS COMMIT:	barras	2001-11-05
*	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin	2001-10-17
*	make install dans coq_makefile et repertoire associe user-contrib ajoute au l...	filliatr	2001-09-19
*	Parsing	herbelin	2001-08-10
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	* empty log message *	courant	2001-04-19
*	utilisation de Options.if_verbose	filliatr	2001-04-03
*	entetes	filliatr	2001-03-15
*	bug Reset et Sections	filliatr	2001-02-28