coq - The formal proof system

Age	Commit message (Expand)	Author
2019-11-21	[coq] Untabify the whole ML codebase.	Emilio Jesus Gallego Arias
2019-10-03	Improved handling of micromega caches	Frédéric Besson
2019-09-16	Re-implementation of zify	Frédéric Besson
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
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
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 mod...	Pierre Letouzey
2016-05-20	Disable memoization rather than failing when files cannot be opened.	Guillaume Melquiond
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
2012-08-08	Updating headers.	herbelin
2012-08-06	Try to make the use of Unix.lockf in micromega compatible with Win32	letouzey
2011-04-21	bug fix: concurrent access of persistent_cache	fbesson
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
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