| Thu, 29 Oct 2015 15:40:52 +0100 | eberlm | added many small lemmas about setsum/setprod/powr/... | changeset | files |
| Tue, 27 Oct 2015 23:18:32 +0100 | wenzelm | no icons here -- not a standalone window; | changeset | files |
| Tue, 27 Oct 2015 22:33:18 +0100 | wenzelm | workaround for problem with C-1, C-2, C-3 seen on Slovak QWERTY keyboard; | changeset | files |