diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-12-01 09:29:38 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-01 09:29:38 +0100 |
| commit | 317a47249e666e2e11c6a8ac29f7c8370c861f8a (patch) | |
| tree | 6248a8d636eef8453f44bde23049662701302160 /CHANGES | |
| parent | 895900eb4c3f030e9490d211a4969de933ec2f9b (diff) | |
| parent | bbe7b785787ff3f13e5c2809a67241981b06e1db (diff) | |
Merge PR #6276: Coqchk accepts filenames
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -25,6 +25,9 @@ Vernacular Commands - The deprecated Coercion Local, Open Local Scope, Notation Local syntax was removed. Use Local as a prefix instead. +Checker +- The checker now accepts filenames in addition to logical paths. + Changes from 8.7+beta2 to 8.7.0 =============================== |