| Thu, 10 Jan 2013 13:02:06 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Thu, 10 Jan 2013 12:41:53 +0100 | wenzelm | recovered buffered sockets from 11f622794ad6 -- requires Poly/ML 5.5.x; | changeset | files |
| Wed, 09 Jan 2013 22:38:21 +0100 | wenzelm | minor update; | changeset | files |
| Wed, 09 Jan 2013 22:29:13 +0100 | wenzelm | purge other platforms uniformly; | changeset | files |
| Wed, 09 Jan 2013 22:28:28 +0100 | wenzelm | unconditional jedit_build; | changeset | files |
| Wed, 09 Jan 2013 22:24:31 +0100 | wenzelm | Console is not docked on startup; | changeset | files |