| Sun, 17 Feb 2008 18:43:17 +0100 | wenzelm | added perl wrapper for robust signal handling; | changeset | files |
| Sun, 17 Feb 2008 06:49:53 +0100 | huffman | New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1 | changeset | files |
| Sat, 16 Feb 2008 16:52:09 +0100 | wenzelm | removed spurious PolyML.makestring; | changeset | files |
| Sat, 16 Feb 2008 16:44:02 +0100 | wenzelm | replaced ignore/raise_interrupt by more flexible (un)interruptible combinators; | changeset | files |
| Sat, 16 Feb 2008 16:44:02 +0100 | wenzelm | removed managed_process (cf. General/shell_process.ML); | changeset | files |
| Sat, 16 Feb 2008 16:44:00 +0100 | wenzelm | removed managed_process (cf. General/shell_process.ML); | changeset | files |
| Sat, 16 Feb 2008 16:43:59 +0100 | wenzelm | exn_message: added TimeLimit.TimeOut; | changeset | files |