Dedukti icon indicating copy to clipboard operation
Dedukti copied to clipboard

Published 20 hours ago • verified publisher icon Deducteam

Update syntax.bnf + make bnf

Open amelieled opened this issue 2 years ago • 3 comments

This PR updates make bnf and the generation of the file syntax.bnf. (Fix #260 )

amelieled avatar Feb 26 '22 17:02 amelieled

Hi! Is it possible to merge this PR?

amelieled avatar Nov 03 '22 08:11 amelieled

I think it would be better if we can ensure it is consistent with https://github.com/Deducteam/Dedukti-standard . Is there something urgent relate to this MR?

francoisthire avatar Nov 03 '22 08:11 francoisthire

There is no emergency, but this updates the documentation now. Just do make doc or make bnf to be in sync with the changes.

amelieled avatar Dec 05 '22 08:12 amelieled