coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-15	[micromega] Use `minus_one` built-in zarith constant.	Emilio Jesus Gallego Arias
2020-09-14	[ocamlformat] Update to ocamlformat 0.15.0	Emilio Jesus Gallego Arias
2020-03-04	[micromega] Add numerical compatibility layer.	Emilio Jesus Gallego Arias
2019-12-13	[micromega] Enable ocamlformat.	Emilio Jesus Gallego Arias
2018-10-16	[micromega] remove dead code	Vincent Laporte
2018-06-07	Micromega clean-up	Maxime Dénès
2017-04-27	Micromega: do not use Filename.temp_dir_path, remove unused values	Gaetan Gilbert
2017-04-27	Rename Sos_lib.(\|\|) -> parser_or to avoid (deprecated) Pervasives.or	Gaetan Gilbert
2014-12-09	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey
2014-09-25	Revert changes of commit 4e1135fb315eab7 over file "plugins/micromega/sos.ml",	Xavier Clerc
2014-09-25	Remove some 'deprecated' warnings.	Xavier Clerc
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