coq - The formal proof system

Age	Commit message (Expand)	Author
2020-10-06	Use OCaml floating-point operations on 64 bits arch	Pierre Roux
2020-08-18	Rename VM-related kernel/cfoo files to kernel/vmfoo	Gaëtan Gilbert
2020-06-02	Move CoqIDE to its own folder	Maxime Dénès
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-13	[build] Consolidate stdlib's .v files under a single directory.	Emilio Jesus Gallego Arias
2020-01-31	[makefile] Ignore _build_boot directory	Emilio Jesus Gallego Arias
2019-12-16	FIND_SKIP_DIRS (make): ignore all dot directories	Gaëtan Gilbert
2019-12-16	[make] Add _build_boot to find_skip_dirs	Emilio Jesus Gallego Arias
2019-12-13	[make] Rename Makefile to Makefile.make	Emilio Jesus Gallego Arias