coq/doc/changelog/05-tactic-language/10289-ltac2+delimited-constr-in-notations.rst, branch master The formal proof system Move unreleased changelog to new 8.11 section. 2019-12-02T07:23:26+00:00 Théo Zimmermann 2019-11-02T17:08:28+00:00 dd0019e5a02db64012d2c3f6692ad03c3a84924f 






[changelog] Add types to changelog entries.
2019-11-28T09:04:32+00:00

Théo Zimmermann

2019-10-22T09:20:07+00:00

fbdde37d9d7d2fce7fe9b7035ad0e8efa7799dff

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.





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.







[Ltac2] Interpretation scopes in “constr” arguments of tactic notations
2019-06-06T08:39:18+00:00

Vincent Laporte

2019-06-04T12:57:16+00:00

fe49db8833803f87e2f750b698f28868d276bfe6