diff options
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/README.md | 2 | ||||
| -rw-r--r-- | dev/doc/changes.md | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/dev/doc/README.md b/dev/doc/README.md index 1a4e40f68b..223cf6286e 100644 --- a/dev/doc/README.md +++ b/dev/doc/README.md @@ -7,7 +7,7 @@ Assuming one is running Ubuntu (if not, replace `apt` with the package manager o ``` $ sudo apt-get install make opam git -# At the time of writing, <latest-ocaml-version> is 4.06.1. +# At the time of writing, <latest-ocaml-version> is 4.07.0. # The latest version number is available at: https://ocaml.org/releases/ $ opam init --comp <latest-ocaml-version> diff --git a/dev/doc/changes.md b/dev/doc/changes.md index 6d5023405a..1eea2443fe 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -88,6 +88,11 @@ Primitive number parsers have been split over three files (plugins/syntax/positive_syntax.ml, plugins/syntax/n_syntax.ml, plugins/syntax/z_syntax.ml). +Parsing + +- Manual uses of the Pcoq.Gram module have been deprecated. Wrapper modules + Pcoq.Entry and Pcoq.Parsable were introduced to replace it. + ### Unit testing The test suite now allows writing unit tests against OCaml code in the Coq |