coq - The formal proof system

Age	Commit message (Expand)	Author
2020-01-30	Merge PR #11307: Remove the hacks relying on hardwired libobject tags.	Maxime Dénès
2020-01-09	Fix build after merge of #11164	Gaëtan Gilbert
2019-12-28	Extend `Print Canonical Projections` with a search functionality	Kazuhiko Sakaguchi
2019-12-22	Rename files with Class in their name to make their role clearer.	Pierre-Marie Pédrot
2019-12-22	Remove the hacks relying on hardwired libobject tags.	Pierre-Marie Pédrot
2019-12-04	Impargs: Using ExplByPos/ExplByName rather than encoding index as an ident.	Hugo Herbelin
2019-11-20	make VernacArguments closer to user syntax	Gaëtan Gilbert
2019-10-31	[prettyp] remove `mod_ops` and `indirect_accessor` parameters	Gaëtan Gilbert
2019-10-31	restore red behaviour printing	Gaëtan Gilbert
2019-10-31	Print argument info as an Arguments command in About	Gaëtan Gilbert
2019-10-31	Move prettyp (Print implementation) to vernac/	Gaëtan Gilbert