| Thu, 04 Apr 2013 22:29:59 +0200 | haftmann | convenient induction rule | changeset | files |
| Thu, 04 Apr 2013 20:59:16 +0200 | wenzelm | tuned README -- less buzzwords; | changeset | files |
| Thu, 04 Apr 2013 18:44:22 +0200 | wenzelm | more conventional synchronized access to Options_Variable -- avoid Swing_Thread getting in the way, which might be absent in some environments (e.g. SWT); | changeset | files |