[isabelle] Running Isabelle in batch mode
I have noticed that when running Isabelle in batch mode
to check a theory somethings are printed while other
For example class declarations are printed, but definitions
and theorems are not. However when using
then the theorem is printed also.
Is there a way to suppress all outputs from processing
the theory, but still have the output from explicit
writeln inside Isabelle/ML blocks.
Moreover, is it possible to turn this output on and off
from within a theory?
This archive was generated by a fusion of
Pipermail (Mailman edition) and