| Mon, 09 Oct 2006 20:12:45 +0200 | wenzelm | isabelle-process: options -S, -X; | changeset | files |
| Mon, 09 Oct 2006 20:12:42 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 09 Oct 2006 19:37:07 +0200 | wenzelm | loop: disallow exit in secure mode; | changeset | files |
| Mon, 09 Oct 2006 19:37:06 +0200 | wenzelm | Secure.commit; | changeset | files |
| Mon, 09 Oct 2006 19:37:05 +0200 | wenzelm | moved Context.ml_output to Output.ml_output; | changeset | files |
| Mon, 09 Oct 2006 19:37:04 +0200 | wenzelm | Secure critical operations. | changeset | files |
| Mon, 09 Oct 2006 19:37:03 +0200 | wenzelm | added General/secure.ML; | changeset | files |