Re: [isabelle] Death by tracing

On 06/12/16 16:54, Manuel Eberl wrote:
> I spoke to Johannes about it and he agreed it would be best to just
> remove that output. Since I have an AFP entry in preparation that relies
> on approximation_tac, it would be good if this could make it into the
> release.

OK, see

(It will come back to isabelle-dev within a few days.)


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