60749
|
1 |
(* Title: Pure/Tools/debugger.ML
|
|
2 |
Author: Makarius
|
|
3 |
|
|
4 |
Interactive debugger for Isabelle/ML.
|
|
5 |
*)
|
|
6 |
|
|
7 |
signature DEBUGGER =
|
|
8 |
sig
|
|
9 |
end;
|
|
10 |
|
|
11 |
structure Debugger: DEBUGGER =
|
|
12 |
struct
|
|
13 |
|
|
14 |
val _ = Session.protocol_handler "isabelle.Debugger$Handler";
|
|
15 |
|
|
16 |
end;
|