Re: [isabelle] Running Isabelle in batch mode

Hi Gergely,

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.

Best regards,


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 MHonArc.