coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-05-23	Fixing typos - Part 2	JPR

2018-10-16	[micromega] remove dead code	Vincent Laporte

2018-02-27	Update headers following #6543.	Théo Zimmermann

2017-12-05	Replacing Hashtbl.add by Hashtbl.replace in micromega cache building.	Hugo Herbelin
	This fixes #6286 as suggested by PMP. See details of discussion at #6286.
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot

2016-07-03	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib ↵	Pierre Letouzey
	module) For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a
2016-05-20	Disable memoization rather than failing when files cannot be opened.	Guillaume Melquiond
	Anomaly: Uncaught exception Unix.Unix_error(Unix.EACCES, "open", "lia.cache"). Please report.
2016-01-20	Update copyright headers.	Maxime Dénès

2015-01-12	Update headers.	Maxime Dénès

2014-10-22	Bugfix 3604 : more robust Unix.lockf	Frédéric Besson

2014-03-03	Fixing some generic equalities in Micromega.	Pierre-Marie Pédrot

2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 15)	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16292 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-08-08	Updating headers.	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-08-06	Try to make the use of Unix.lockf in micromega compatible with Win32	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15684 85f007b7-540e-0410-9357-904b9bb8a0f7
2011-04-21	bug fix: concurrent access of persistent_cache	fbesson
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14037 85f007b7-540e-0410-9357-904b9bb8a0f7
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13323 85f007b7-540e-0410-9357-904b9bb8a0f7
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7
2009-08-20	new csdp cache + improved error message	fbesson
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12286 85f007b7-540e-0410-9357-904b9bb8a0f7
2009-07-31	addition of lia.cache - csdp.cache is now handled by micromega not csdpcert	fbesson
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12255 85f007b7-540e-0410-9357-904b9bb8a0f7
2009-07-30	micromega : Better parsing of formulae - smaller proof terms for Z - ↵	fbesson
	redesign of proof cache git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12254 85f007b7-540e-0410-9357-904b9bb8a0f7