Re: [isabelle] Running Isabelle in batch mode
Thank you for your message. However it seems that the
solution described in the link is for suppressing output
in the latex document, and not the output on the terminal.
I am interested in processing a theory in batch mode, and
outputting at the end (in the terminal) some specific information,
and I want to suppress all the other output that is produced.
On 10/28/2015 02:24 PM, Buday Gergely wrote:
> Viorel Preoteasa wrote:
>> Moreover, is it possible to turn this output on and off from within a theory?
> This mail answers your questions I guess:
> - Gergely
This archive was generated by a fusion of
Pipermail (Mailman edition) and