Fri, 28 Aug 2009 17:07:15 +0200 | wenzelm | SAT_Examples: removed obsolete Future.shutdown() workaround -- internal exception propagation should now work reliably; | changeset | files |
Fri, 28 Aug 2009 11:31:49 +0200 | wenzelm | misc updates and tuning; | changeset | files |
Fri, 28 Aug 2009 10:52:44 +0200 | wenzelm | PDF_VIEWER: more Unix-ish behaviour on Mac OS; | changeset | files |