coq - The formal proof system

Age	Commit message (Expand)	Author
2019-10-30	Implement the unsupported attribute error using the warning system	Gaëtan Gilbert
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-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-23	s/let _ =/let () =/ in some places (mostly goptions related)	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