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
https://bitbucket.org/isabelle_project/isabelle-release/commits/a955511171a8

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


	Makarius





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