src/Pure/ML/exn_properties.ML
2016-04-09 wenzelm 2016-04-09 clarified bootstrap;
2016-04-06 wenzelm 2016-04-06 tuned signature;
2016-04-02 wenzelm 2016-04-02 tuned signature;
2016-03-05 wenzelm 2016-03-05 avoid accidental handling of interrupts; interrupts have no properties;
2016-03-05 wenzelm 2016-03-05 tuned signature -- clarified modules;
2016-02-29 wenzelm 2016-02-29 clarified modules;
2016-02-23 wenzelm 2016-02-23 support for polyml-git ec49a49972c5 (branch FixedPrecisionInt);
2016-02-17 wenzelm 2016-02-17 clarified file names;