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

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

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

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

avoid accidental handling of interrupts;
interrupts have no properties;
# 73bfea7c 05-Mar-2016 wenzelm <none@none>

tuned signature -- clarified modules;
# 45c76ae3 29-Feb-2016 wenzelm <none@none>

clarified modules;
# a6a7d578 23-Feb-2016 wenzelm <none@none>

support for polyml-git ec49a49972c5 (branch FixedPrecisionInt);
# e428edb5 17-Feb-2016 wenzelm <none@none>

clarified file names;

--HG--
rename : src/Pure/ML/exn_output_polyml.ML => src/Pure/ML/exn_output.ML
rename : src/Pure/ML/exn_properties_polyml.ML => src/Pure/ML/exn_properties.ML
rename : src/Pure/ML/ml_compiler_polyml.ML => src/Pure/ML/ml_compiler.ML