On Wed, May 2, 2012 at 6:55 AM, Christian Sternagel
c-ste...@jaist.ac.jp wrote:
is it really the case that currently the only way to obtain ASCII output
using print modes is by specifying the empty string, like
thm () conjE
or did I miss anything? Since this print mode is occasionally
Dear Makarius,
would it make sense to introduce some kind of read-only mode for
theory files and then use this mode when jumping to a file that is
already finished (instead of the Attempt to update loaded theory ...
error message)?
Of course I don't know whether it is easily possible to