| Fri, 12 Oct 2012 12:21:01 +0200 | bulwahn | increading indexes to avoid clashes in the set_comprehension_pointfree simproc | changeset | files |
| Fri, 12 Oct 2012 13:55:13 +0200 | wenzelm | no special treatment of errors inside goal forks without transaction id, to avoid duplication in plain build with sequential log, for example; | changeset | files |
| Fri, 12 Oct 2012 13:46:41 +0200 | wenzelm | do not treat interrupt as error here, to avoid confusion in log etc.; | changeset | files |