| 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 |
| Fri, 12 Oct 2012 11:03:23 +0200 | wenzelm | more basic ML compiler messages -- avoid conflict of 638cefe3ee99 and cb7264721c91 concerning Protocol.message_positions; | changeset | files |
| Thu, 11 Oct 2012 23:10:49 +0200 | wenzelm | refined separator: FBreak needs to be free for proper breaking, extra space at end helps to work around last-line oddity in jEdit; | changeset | files |
| Thu, 11 Oct 2012 21:02:19 +0200 | wenzelm | merged | changeset | files |