| Tue, 10 Aug 2010 14:24:13 +0200 | wenzelm | prefer Nimbus look and feel on all platforms, instead of the somewhat ugly javax.swing.plaf.metal.MetalLookAndFeel, which presumably is implicit fall-back nonetheless; | changeset | files |
| Tue, 10 Aug 2010 14:15:50 +0200 | wenzelm | edit_document: synchronous reply to ensure consistent state wrt. calling (AWT) thread; | changeset | files |
| Tue, 10 Aug 2010 12:29:11 +0200 | wenzelm | distinguish proper Isabelle_Process INPUT vs. raw STDIN, tuned corresponding method names; | changeset | files |
| Tue, 10 Aug 2010 12:09:53 +0200 | wenzelm | added Library.thread_actor -- thread as actor; | changeset | files |
| 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 |