-
Julien Lepiller authored
This also updates the parser behavior: it now considersr intermediate comments, as long as they don't belong to command, as separate commands. CoqNext will therefore stop at each comment, instead of passing over any comment before the next command.
4bca980b