| Tue, 10 Aug 2010 12:08:24 +0200 | wenzelm | clarified JEDIT_JAVA_OPTIONS vs. JEDIT_SYSTEM_OPTIONS -- discontinued JEDIT_APPLE_PROPERTIES; | changeset | files |
| Mon, 09 Aug 2010 22:02:26 +0200 | wenzelm | auto_flush: higher frequency; | changeset | files |
| Mon, 09 Aug 2010 21:35:45 +0200 | wenzelm | uniform raw_dump for input/output fifos on Cygwin; | changeset | files |
| Mon, 09 Aug 2010 21:23:24 +0200 | wenzelm | more robust fifo rendezvous: Cygwin 1.7 does not really block as expected; | changeset | files |
| Mon, 09 Aug 2010 18:18:32 +0200 | wenzelm | Isabelle_Process: separate input fifo for commands (still using the old tty protocol); | changeset | files |
| Mon, 09 Aug 2010 13:56:02 +0200 | wenzelm | tuned comments; | changeset | files |