| Tue, 01 Jan 2013 11:35:22 +0100 | blanchet | Z3's soft timeout is expressed in ms, not in s -- this explains the frequenty "error code 112" failures we had recently | changeset | files |
| Tue, 01 Jan 2013 10:53:43 +0100 | haftmann | dropped relics of ancient side-entry points | changeset | files |
| Mon, 31 Dec 2012 21:41:22 +0100 | wenzelm | prefer JDialog over JWindow to avoid focus inversion problem on Compiz (e.g. Ubuntu/Unity 12.10): both JDialog and JFrame happen to work, but JFrame does not support parent nesting; | changeset | files |
| Mon, 31 Dec 2012 21:01:00 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 31 Dec 2012 20:30:03 +0100 | wenzelm | tuned imports; | changeset | files |
| Mon, 31 Dec 2012 16:56:54 +0100 | wenzelm | include user counters as well; | changeset | files |
| Mon, 31 Dec 2012 16:41:51 +0100 | wenzelm | scala mode is already part of jedit-5.0.0; | changeset | files |
| Mon, 31 Dec 2012 16:16:43 +0100 | wenzelm | tuned; | changeset | files |