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 |