[isabelle-dev] NEWS: IDE support for the source-level debugger of Poly/ML

[Florian Haftmann]

> *** Prover IDE -- Isabelle/Scala/jEdit ***

> * IDE support for the source-level debugger of Poly/ML, to work with
> Isabelle/ML and official Standard ML.

That's a promising announcement.

However I struggle to get something run from the attached example.  I
suspect that after placing the focus in the ML block something should be
displayed in the debug panel, but there is no sign of anything.

Maybe some missing setting or an allocated config file which requires
manual deletion?

Btw. ML_IDENTIFIER=polyml-5.5.3_x86-linux

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screenshot_Debug_06ceb6dcdccd.png
Type: image/png
Size: 150581 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20150827/681b2b3c/attachment-0001.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20150827/681b2b3c/attachment-0001.asc>