Hopefully there will be a point where unravel detects all TeX errors.
Even before that, it would be useful to have the option to stop at the first error detected by unravel. That probably is not too hard: change all \msg_error to include code that sets \g_@@_nonstop_int to the right value.
blefloch
commented
8 years ago
Hopefully there will be a point where
unraveldetects all TeX errors.Even before that, it would be useful to have the option to stop at the first error detected by
unravel. That probably is not too hard: change all\msg_errorto include code that sets\g_@@_nonstop_intto the right value.