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 |