elpi-option-legacy-parser
ELPI - option for legacy parser
Description
Enables the -legacy-parser flag, implemented on top of CamlP5
Install
- Published
- 19 Apr 2022
- Authors
- Maintainers
Dependencies
Reverse Dependencies