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?


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