Skip to content
  • Julien Lepiller's avatar
    Rewrite coq parser · 4bca980b
    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