coq - The formal proof system

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