Andrea Vezzosi (Jun 05 2023 at 11:02): Andrea Vezzosi (Jun 05 2023 at 11:02):Hi is there a way to get all the errors when building a session with isabelle build ? I find it stops after a while, even if I have several independent theory files it could work on.
Otherwise, would some other CLI tool be more appropriate to process several theories at once?
Wolfgang Jeltsch (Jun 05 2023 at 11:23):At least, the terminal output tells you the path of a log file, where you can find all the errors. Not sure right now whether you can also make isabelle build output all the errors on the terminal.
Andrea Vezzosi (Jun 05 2023 at 11:38):Oh, I did not notice the log file, that should be enough for me
Last updated: Apr 28 2024 at 01:11 UTC