| Fri, 05 Apr 2013 18:31:35 +0200 | nipkow | tuned document | changeset | files |
| Fri, 05 Apr 2013 15:13:25 +0200 | nipkow | tuned | changeset | files |
| Thu, 04 Apr 2013 22:46:14 +0200 | haftmann | sup on multisets | changeset | files |
| 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 |
| Thu, 04 Apr 2013 18:25:47 +0200 | wenzelm | added missing file; | changeset | files |