Dear users of the best unknown programming language in the world.
Isabelle/ML is based on Poly/ML and thus benefits from the source-level
debugger of that implementation of Standard ML. The Prover IDE provides
the Debugger dockable to connect to running ML threads, inspect the stack
frame with local ML bindings, and evaluate ML expressions in a particular
run-time context.
More explanations with a screenshot on
http://sketis.net/2016/ml-debugging-within-the-prover-ide
Makarius
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
