Sat, 29 May 2010 20:03:47 +0200 | wenzelm | more explicit handling of document; | changeset | files |
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 |