coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-26	[vernac] Allow to control typing flags with attributes.	Emilio Jesus Gallego Arias
2020-11-18	[attributes] Deprecate `attr(true)` syntax in favor of booelan attributes.	Emilio Jesus Gallego Arias
2020-11-18	[attributes] Allow boolean, single-value attributes.	Emilio Jesus Gallego Arias
2020-11-02	attribute #[using] for Definition and Fixpoint	Enrico Tassi
2020-03-18	Merge PR #11559: Remove year in headers.	Hugo Herbelin
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-03-18	Export the user-facing attribute for hint locality.	Pierre-Marie Pédrot
2020-02-23	Remove unqualified universe attributes.	Théo Zimmermann
2019-12-24	[Attributes] accept #[canonical] (Let\|Definition)	Enrico Tassi
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-06-06	`deprecated` attribute support for notations and syntactic definitions	Maxime Dénès
2019-05-10	[Attributes] Allow explicit value for two-valued attributes	Vincent Laporte
2019-05-10	[Canonical structures] “not_canonical” annotation to field declarations	Vincent Laporte
2019-02-05	Make Program a regular attribute	Maxime Dénès
2018-12-09	[doc] Enable Warning 50 [incorrect doc comment] and fix comments.	Emilio Jesus Gallego Arias
2018-12-05	Move template out of Defattributes record	Gaëtan Gilbert
2018-12-05	attributes_of_flags and its output type now internal in vernacentries	Gaëtan Gilbert
2018-11-17	[vernacextend] Consolidate extension points API	Emilio Jesus Gallego Arias
2018-11-02	Universe Polymorphism is a normal attribute modulo the stm (no Flags)	Gaëtan Gilbert
2018-11-02	Load doesn't support attributes	Gaëtan Gilbert
2018-11-02	Simplify use of polymorphism/program globals in attributes	Gaëtan Gilbert
2018-11-02	Generalize attributes further to get a monad (mostly for [map])	Gaëtan Gilbert
2018-11-02	Make attributes more general to make defining #[universes(...)] easy	Gaëtan Gilbert
2018-11-02	Command driven attributes.	Gaëtan Gilbert
2018-11-02	Remove pointless optional arguments to mk_atts	Gaëtan Gilbert
2018-11-02	{Vernacentries -> Attributes}.attributes_of_flags	Gaëtan Gilbert
2018-11-02	Remove location field from attributes	Gaëtan Gilbert
2018-11-02	Move attributes out of vernacinterp to new attributes module	Gaëtan Gilbert