src/Pure/General/secure.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-06-06 wenzelm 2009-06-06 use: tuned error;
2009-06-01 wenzelm 2009-06-01 export secure_mltext;
2009-03-23 wenzelm 2009-03-23 more systematic type use_context, with particular values ML_Parse.global_context and ML_Context.local_context;
2009-03-21 wenzelm 2009-03-21 replaced install_pp/make_pp by more general toplevel_pp based on use_text;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-09-17 wenzelm 2008-09-17 use_text/use_file now depend on explicit ML name space;
2008-05-14 wenzelm 2008-05-14 use_text/file: proper position output;
2008-03-24 wenzelm 2008-03-24 ML runtime compilation: pass position, tuned signature;
2008-03-19 wenzelm 2008-03-19 system: writeln output, if available;
2008-03-06 wenzelm 2008-03-06 common setup for system_out/system;
2008-02-16 wenzelm 2008-02-16 export deny_secure;
2008-01-01 wenzelm 2008-01-01 tuned spaces;
2007-12-18 wenzelm 2007-12-18 removed obsolete use_noncritical (plain use is already non-critical);
2007-12-18 wenzelm 2007-12-18 use_text/use_file: non-critical (Poly/ML compiler is thread-safe);
2007-11-29 wenzelm 2007-11-29 commit: non-critical, otherwise session restart will result in deadlock!
2007-10-26 wenzelm 2007-10-26 replaced Secure.evaluate by ML_Context.evaluate;
2007-10-25 haftmann 2007-10-25 added function for evaluation by compiler invocation
2007-10-05 wenzelm 2007-10-05 execute/system: non-critical;
2007-09-20 wenzelm 2007-09-20 improved error behaviour of use (bootstrap version);
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.