src/Pure/Tools/debugger.ML
author wenzelm
Fri, 17 Jul 2015 21:40:47 +0200
changeset 60749 f727b99faaf7
child 60765 e43e71a75838
permissions -rw-r--r--
skeleton for interactive debugger;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
60749
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
     1
(*  Title:      Pure/Tools/debugger.ML
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
     2
    Author:     Makarius
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
     3
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
     4
Interactive debugger for Isabelle/ML.
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
     5
*)
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
     6
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
     7
signature DEBUGGER =
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
     8
sig
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
     9
end;
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
    10
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
    11
structure Debugger: DEBUGGER =
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
    12
struct
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
    13
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
    14
val _ = Session.protocol_handler "isabelle.Debugger$Handler";
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
    15
f727b99faaf7 skeleton for interactive debugger;
wenzelm
parents:
diff changeset
    16
end;