| Fri, 23 Sep 2011 23:46:13 +0200 | wenzelm | prefer socket comminication on Cygwin, which is more stable here than fifos; | changeset | files |
| Fri, 23 Sep 2011 21:51:49 +0200 | wenzelm | tuned proof; | changeset | files |
| Fri, 23 Sep 2011 17:35:06 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Fri, 23 Sep 2011 17:23:54 +0200 | wenzelm | discontinued stream-based Socket_IO, which causes too many problems with Poly/ML and SML/NJ (reverting major parts of 5c0b0d67f9b1); | changeset | files |
| Fri, 23 Sep 2011 17:11:08 +0200 | wenzelm | updated header; | changeset | files |
| Fri, 23 Sep 2011 16:50:39 +0200 | wenzelm | merged; | changeset | files |
| Fri, 23 Sep 2011 16:44:51 +0200 | blanchet | reintroduced E-SInE now that it's unexpectedly working again (thanks to Geoff) | changeset | files |
| Fri, 23 Sep 2011 14:25:53 +0200 | blanchet | first step towards extending Minipick with more translations | changeset | files |