src/Pure/General/secure.ML
2007-09-16 wenzelm 2007-09-16 use_text/file: tune text (cf. ML_Parse.fix_ints);
2007-07-29 wenzelm 2007-07-29 NAMED_CRITICAL;
2007-07-25 wenzelm 2007-07-25 added use_noncritical;
2007-07-23 wenzelm 2007-07-23 marked some CRITICAL sections (for multithreading);
2007-04-03 wenzelm 2007-04-03 removed assert/deny (avoid clash with Alice keywords and confusion due to strict evaluation);
2007-01-21 wenzelm 2007-01-21 use_text: added name argument;
2006-12-11 wenzelm 2006-12-11 added use_file;
2006-10-12 wenzelm 2006-10-12 added execute/system;
2006-10-11 wenzelm 2006-10-11 tuned signature;
2006-10-09 wenzelm 2006-10-09 Secure critical operations.