| Sat, 29 May 2010 19:46:29 +0200 | wenzelm | explicit markup for forked goals, as indicated by Goal.fork; | changeset | files |
| Sat, 29 May 2010 17:26:02 +0200 | wenzelm | avoid :\ which is not tail-recursive and tends to overflow the tiny JVM stack, which is not resizable at runtime; | changeset | files |
| Sat, 29 May 2010 16:44:44 +0200 | wenzelm | define_state/new_state: provide state immediately, which is now lazy; | changeset | files |
| Sat, 29 May 2010 15:52:47 +0200 | wenzelm | force_result within the current execution context -- avoids overhead of potential thread context switch and robustifies Interrupt handling; | changeset | files |
| Sat, 29 May 2010 15:31:15 +0200 | wenzelm | future result: retain plain Interrupt for vacuous group exceptions; | changeset | files |
| Fri, 28 May 2010 22:51:04 +0200 | blanchet | remove two examples, now that the definition of "fst" and "snd" has changed | changeset | files |