coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	Revert changes of commit 4e1135fb315eab7 over file "plugins/micromega/sos.ml",	Xavier Clerc	2014-09-25
*	Remove some 'deprecated' warnings.	Xavier Clerc	2014-09-25
*	Silence compilation warning by avoiding some deprecated constructs.	Guillaume Melquiond	2013-12-03
*	Oups, repair the compilation (micromega + Morphism_prop)	letouzey	2013-10-24
*	Turn many List.assoc into List.assoc_f	letouzey	2013-10-24
*	Reintroduce "or" instead of "\|\|" as the latter is redifined in "sos_lib.ml" w...	xclerc	2013-10-16
*	Getting rid of the use of deprecated elements (from the OCaml standard library).	xclerc	2013-10-14
*	Cleaning opening of the standard List module.	ppedrot	2012-06-28
*	Fix unescaped end-of-lines (OCaml warning 29)	glondu	2010-09-13
*	Remove unused functions run_sdpa	glondu	2010-04-11
*	Sos.ml: no more warnings	letouzey	2009-12-08
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0...	fbesson	2009-08-25
*	new csdp cache + improved error message	fbesson	2009-08-20
*	addition of lia.cache - csdp.cache is now handled by micromega not csdpcert	fbesson	2009-07-31
*	micromega : Better parsing of formulae - smaller proof terms for Z - redesign...	fbesson	2009-07-30
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20