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