Re: [isabelle] Isabelle2019-RC2: Cannot get exception trace



Am 29.05.2019 um 19:48 schrieb Makarius:
> Some years ago, David Matthews has improved the performance of exception
> handling by removing most of the classic exception_trace facilities. It
> is now done with the ML debugger instead.

[...]

> Here is your example with these hints applied:

[...]
Thanks that helps.

Does this mean that the old tracing flags/functions are obsolete by now?

Alex




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