Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix CONTRIBUTING.md #1039

Merged
merged 2 commits into from
Jan 30, 2024
Merged

fix CONTRIBUTING.md #1039

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ecf9067
fix CONTRIBUTING.md
fblanqui Jan 30, 2024
cc93675
update CHANGES
fblanqui Jan 30, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 8 additions & 1 deletion CHANGES.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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)

Expand Down
5 changes: 3 additions & 2 deletions CONTRIBUTING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down