We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7a2c34a commit 1b2b57eCopy full SHA for 1b2b57e
Changelog.md
@@ -2,6 +2,9 @@
2
3
## UNRELEASED
4
5
+### Commands
6
+- New `Elpi Accumulate dbname File filename` allows to accumulate a file int a db
7
+
8
### API
9
- New `coq.parse-attributes` support for the `attlabel` specification,
10
see `coq-lib-common.elpi` for its documentation.
0 commit comments