| Wed, 30 Dec 2015 14:05:51 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 29 Dec 2015 23:50:44 +0100 | wenzelm | simplified abbrevs: exploit ambiguity; | file | diff | annotate |
| Tue, 29 Dec 2015 23:40:04 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 29 Dec 2015 23:20:11 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 29 Dec 2015 22:41:22 +0100 | wenzelm | avoid immediate completion as ASCII versions that are still used; | file | diff | annotate |
| Tue, 29 Dec 2015 20:58:18 +0100 | wenzelm | more arrow symbols; | file | diff | annotate |
| Tue, 29 Dec 2015 17:54:45 +0100 | wenzelm | more abbrevs; | file | diff | annotate |