| Sat, 16 Feb 2008 16:43:59 +0100 | wenzelm | exn_message: added TimeLimit.TimeOut; | changeset | files |
| Sat, 16 Feb 2008 16:43:57 +0100 | wenzelm | export deny_secure; | changeset | files |
| Sat, 16 Feb 2008 16:43:56 +0100 | wenzelm | setmp: uninterruptible; | changeset | files |
| Sat, 16 Feb 2008 16:43:54 +0100 | wenzelm | System shell processes, with static input/output and propagation of interrupts. | changeset | files |
| Sat, 16 Feb 2008 16:43:53 +0100 | wenzelm | added General/system_process.ML; | changeset | files |
| Sat, 16 Feb 2008 02:08:07 +0100 | huffman | added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps | changeset | files |
| Sat, 16 Feb 2008 02:01:13 +0100 | huffman | added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps | changeset | files |
| Fri, 15 Feb 2008 23:22:02 +0100 | wenzelm | support for managed external processes; | changeset | files |