Re: [isabelle] Tips to make a simplification simpler?

On 31.07.2012 17:13, Yannick Duchêne (Hibou57) wrote:
its tracing is stopped until it emerges from its recursive
invocations. This is
a very simpled-minded way of getting a abstract view of the trace. If
you want
more tracing info, you can always increase the limit - in ProofGeneral
there is
a menue item Trace Simplifier Depth for it.

I searched for a way to have the same with jEdit. That's the opportunity
of another topic.

You can do this by "using [[simp_trace_depth_limit=x]]"

  -- Lars

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