Sylvain Hallé

Hi! Thanks for your interest in Bullwinkle. There are two levels of error that can happen: - Errors when parsing a file that defines a grammar in BNF. This part...

Related: https://stackoverflow.com/questions/30910842/error-reporting-in-a-recursive-descent-parser

Interesting! I'll flag this thread as an enhancement for the next release

Optional rules are supported in Bullwinkle, but they have to be written following the BNF syntax, where the "?" symbol is not allowed. So instead of writing: ``` := ?;...

I just changed the header comments to the MIT license.

Also added possibility for more than 99 pages in output filenames

I don't know, I don't have a Mac, so I'll flag this as "Help wanted" ;-)

Well, not providing `--check` is a different matter. TeXtidote can still verify things in a text without checking spelling and grammar, so the parameter is likely to remain mandatory.

Yes, that's what I plan to implement. The option is probably going to be called `--autocheck` without any parameter.

Indeed, it can easily be done by adding `autoref` to the list of commands on this line: https://github.com/sylvainhalle/textidote/blob/67e3f6eba9ce91639a48303c24a6b906f1250333/Source/Core/src/ca/uqac/lif/textidote/cleaning/latex/LatexCleaner.java#L357