Mon, 09 Oct 2006 20:12:42 +0200 tuned;
wenzelm [Mon, 09 Oct 2006 20:12:42 +0200] rev 20929
tuned;
Mon, 09 Oct 2006 19:37:07 +0200 loop: disallow exit in secure mode;
wenzelm [Mon, 09 Oct 2006 19:37:07 +0200] rev 20928
loop: disallow exit in secure mode;
Mon, 09 Oct 2006 19:37:06 +0200 Secure.commit;
wenzelm [Mon, 09 Oct 2006 19:37:06 +0200] rev 20927
Secure.commit;
Mon, 09 Oct 2006 19:37:05 +0200 moved Context.ml_output to Output.ml_output;
wenzelm [Mon, 09 Oct 2006 19:37:05 +0200] rev 20926
moved Context.ml_output to Output.ml_output;
Mon, 09 Oct 2006 19:37:04 +0200 Secure critical operations.
wenzelm [Mon, 09 Oct 2006 19:37:04 +0200] rev 20925
Secure critical operations.
Mon, 09 Oct 2006 19:37:03 +0200 added General/secure.ML;
wenzelm [Mon, 09 Oct 2006 19:37:03 +0200] rev 20924
added General/secure.ML;
Mon, 09 Oct 2006 19:37:02 +0200 added option -S (secure mode);
wenzelm [Mon, 09 Oct 2006 19:37:02 +0200] rev 20923
added option -S (secure mode);
Mon, 09 Oct 2006 12:51:31 +0200 added nbe_post for delayed_if
nipkow [Mon, 09 Oct 2006 12:51:31 +0200] rev 20922
added nbe_post for delayed_if
Mon, 09 Oct 2006 12:20:39 +0200 added delayed_if
nipkow [Mon, 09 Oct 2006 12:20:39 +0200] rev 20921
added delayed_if
Mon, 09 Oct 2006 12:16:29 +0200 added pre/post-processor equations
nipkow [Mon, 09 Oct 2006 12:16:29 +0200] rev 20920
added pre/post-processor equations
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip