History log of /seL4-l4v-10.1.1/isabelle/src/Pure/ML/exn_debugger.ML
Revision Date Author Comments
# fa6ad737 09-Apr-2016 wenzelm <none@none>

clarified modules;
removed unsed exn_id;
# e5eeadb3 09-Apr-2016 wenzelm <none@none>

clarified bootstrap;
# ff2c5cc2 06-Apr-2016 wenzelm <none@none>

tuned signature;
# 85397651 06-Apr-2016 wenzelm <none@none>

clarified modules;
tuned signature;
# 33f46939 02-Apr-2016 wenzelm <none@none>

tuned signature;
# 73bfea7c 05-Mar-2016 wenzelm <none@none>

tuned signature -- clarified modules;
# ed14f1c4 02-Mar-2016 wenzelm <none@none>

support for ML_exception_debugger;