Fri, 26 Oct 2007 19:58:32 +0200 |
wenzelm |
replaced Secure.evaluate by ML_Context.evaluate;
|
file |
diff |
annotate
|
Thu, 25 Oct 2007 13:52:02 +0200 |
haftmann |
added function for evaluation by compiler invocation
|
file |
diff |
annotate
|
Fri, 05 Oct 2007 20:10:35 +0200 |
wenzelm |
execute/system: non-critical;
|
file |
diff |
annotate
|
Thu, 20 Sep 2007 17:48:16 +0200 |
wenzelm |
improved error behaviour of use (bootstrap version);
|
file |
diff |
annotate
|
Sun, 16 Sep 2007 14:55:48 +0200 |
wenzelm |
use_text/file: tune text (cf. ML_Parse.fix_ints);
|
file |
diff |
annotate
|
Sun, 29 Jul 2007 17:28:55 +0200 |
wenzelm |
NAMED_CRITICAL;
|
file |
diff |
annotate
|
Wed, 25 Jul 2007 17:05:45 +0200 |
wenzelm |
added use_noncritical;
|
file |
diff |
annotate
|
Mon, 23 Jul 2007 14:06:12 +0200 |
wenzelm |
marked some CRITICAL sections (for multithreading);
|
file |
diff |
annotate
|
Tue, 03 Apr 2007 19:24:11 +0200 |
wenzelm |
removed assert/deny (avoid clash with Alice keywords and confusion due to strict evaluation);
|
file |
diff |
annotate
|
Sun, 21 Jan 2007 16:43:42 +0100 |
wenzelm |
use_text: added name argument;
|
file |
diff |
annotate
|
Mon, 11 Dec 2006 19:05:23 +0100 |
wenzelm |
added use_file;
|
file |
diff |
annotate
|
Thu, 12 Oct 2006 14:14:11 +0200 |
wenzelm |
added execute/system;
|
file |
diff |
annotate
|
Wed, 11 Oct 2006 22:55:14 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 09 Oct 2006 19:37:04 +0200 |
wenzelm |
Secure critical operations.
|
file |
diff |
annotate
|