coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-12-02	Move unreleased changelog to new 8.11 section.	Théo Zimmermann

2019-11-28	[changelog] Add types to changelog entries.	Théo Zimmermann
	Types of changes are defined in the list defined by Keep a Changelog 1.0.0 (https://keepachangelog.com/en/1.0.0/): - Added - Changed - Deprecated - Fixed - Removed We exclude the type Security for now, even for soundness fixes, because the process of handling security vulnerabilities is different from anything we follow right now.
2019-10-30	Implement the unsupported attribute error using the warning system	Gaëtan Gilbert
	This means we can disable it to ignore unsupported attributes. For instance this would be useful if we change some behaviour of `Cmd` and add an attribute `att` to restore the old behaviour, then `#[att] Cmd` is backwards compatible if the warning is disabled.