Re: [isabelle] Running Isabelle in batch mode



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:

https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2014-June/msg00144.html

- Gergely


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.