On Fri, 18 Jan 2013, David Greenaway wrote:
After inspecting the Isabelle source a little more, I have seen that
there is a jEdit configuration variable:
editor_tracing_messages
that allows the pause threshold to be adjusted. Setting this value to a
large number solves my first problem.
The question might be as simple as providing a good default. In
Isabelle2013-RC1 it is 100 messages, which is probably about low. How
about 1000? Would that make your theories run through unhindered?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
