It would be really nice if one was able to specify another filename in which unravel then writes its logs. This would keep the log itself small (and manageable by TeXStudio, etc.). Furthermore this would simplify the automatic processing of the logs as one didn't have to worry about other log messages.
It would be really nice if one was able to specify another filename in which
unravel
then writes its logs. This would keep the log itself small (and manageable by TeXStudio, etc.). Furthermore this would simplify the automatic processing of the logs as one didn't have to worry about other log messages.