coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-03	[build] Split stdlib to it's own opam package.	Emilio Jesus Gallego Arias
2021-02-26	Merge PR #13868: Make genOpcodeFiles.ml handle opcode arity.	Pierre-Marie Pédrot
2021-02-19	Add a file coq_arity.h generated by genOpcodeFiles.ml.	Guillaume Melquiond
2021-01-11	Make sure Ltac2 get cleaned too.	Guillaume Melquiond
2020-11-20	Build all_stdlib.v in test suite makefile	Gaëtan Gilbert
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