search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
265 stars 35 forks source link

Fix highlighting of multi-line comments in vim #987

Closed bpandreotti closed 1 year ago

bpandreotti commented 1 year ago

The vim syntax file provided in the repo did not correctly detect multi-line comments.

fblanqui commented 1 year ago

Thank you for your PR!

fblanqui commented 1 year ago

It main be the case that there are other incompatibilities with the current version of Lambdapi because the vim mode has not been maintained properly along the changes in Lambdapi. I will check it during the EPN meeting in Liège on May 11-13. But don't hesitate to propose other PRs to improve this very minimal mode.