coq - The formal proof system

Age	Commit message (Expand)	Author
2021-02-16	Get rid of the compilation date from the binaries to make them more stable.	Guillaume Melquiond
2021-02-10	Merge PR #13821: Properly handle ordering of -w and -native-compiler	coqbot-app[bot]
2021-02-04	Remove deprecated -inputstate command line argument	Gaëtan Gilbert
2021-02-04	Remove deprecated -sprop-cumulative command line argument	Gaëtan Gilbert
2021-02-04	Properly handle ordering of -w and -native-compiler	Gaëtan Gilbert
2021-01-27	make the linter happy	Enrico Tassi
2021-01-27	[coqargs] use standard option injection for -print-emacs	Enrico Tassi
2021-01-27	[coqargs] use standard option injection for -type-in-type	Enrico Tassi
2021-01-27	[coqargs] use standard option injection for -mangle-names	Enrico Tassi
2021-01-27	[coqtop] handle -print-module-uid after initialization	Enrico Tassi
2021-01-27	[coqc] move -output-context from sysinit/coqargs to coqc proper	Enrico Tassi
2021-01-27	[sysinit] move initialization code from coqtop to here	Enrico Tassi
2021-01-27	[sysinit] new component for system initialization	Enrico Tassi