From f2275308b55bfa10f3c6e1e1eff42924f6b0906a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Tue, 30 Jan 2024 09:18:56 +0100 Subject: [PATCH] fix CONTRIBUTING.md (#1039) * fix CONTRIBUTING.md * update CHANGES --- CHANGES.md | 9 ++++++++- CONTRIBUTING.md | 5 +++-- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index fbcdb973c..8d39c0880 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -5,7 +5,14 @@ and this project adheres to [Semantic Versioning](https://semver.org/). ## [Unreleased] -- Add the command `opaque` that opacifies a symbol already defined. +### Added + +- Add the `opaque` command to turn a defined symbol into a constant + +### Fixed + +- Coq export: do not rename module names +- Sequential symbols: fix order of rules ## 2.4.1 (2023-11-22) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 56a707455..60f84490c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -79,10 +79,11 @@ following files: - `editors/vscode/lp.configuration.json` (comments configuration), - `editors/vscode/syntaxes/lp.tmLanguage.json` (syntax highlighting), - `tools/listings.tex` -- `doc/Makefile` +- `doc/Makefile.bnf` - the User Manual files in the `doc/` repository -and do `make doc` for generating BNF grammars. +and do `make bnf` to generate the BNF grammar, +and `make doc` to generate the Sphynx documentation. **Note:** the `lambdapi.opam` file is generated by dune using the `dune-project` file, it _should not be edited manually_. It is still versioned because opam