| Thu, 30 Oct 2014 23:14:11 +0100 | wenzelm | merged | changeset | files |
| Thu, 30 Oct 2014 22:45:19 +0100 | wenzelm | eliminated aliases; | changeset | files |
| Thu, 30 Oct 2014 16:55:29 +0100 | wenzelm | eliminated aliases; | changeset | files |
| Thu, 30 Oct 2014 16:20:46 +0100 | wenzelm | eliminated aliases; | changeset | files |
| Thu, 30 Oct 2014 16:17:56 +0100 | wenzelm | tuned spelling; | changeset | files |
| Thu, 30 Oct 2014 15:57:13 +0100 | wenzelm | hardwired imitation of copy.shortcut2 default; | changeset | files |
| Thu, 30 Oct 2014 21:02:01 +0100 | haftmann | more simp rules concerning dvd and even/odd | changeset | files |