| Tue, 29 Dec 2015 21:51:58 +0100 | wenzelm | more arrow symbols; | changeset | files |
| Tue, 29 Dec 2015 20:58:18 +0100 | wenzelm | more arrow symbols; | changeset | files |
| Tue, 29 Dec 2015 19:11:23 +0100 | wenzelm | eliminated obscure macro that is in conflict with amsmath.sty; | changeset | files |