Fri, 30 Aug 2013 12:44:39 +0200 | wenzelm | allow short words for explicit completion; | changeset | files |
Fri, 30 Aug 2013 12:33:16 +0200 | wenzelm | fewer conflicts -- adhoc resolution of == vs. ==> via unicode (!) image; | changeset | files |
Fri, 30 Aug 2013 12:24:15 +0200 | wenzelm | more symbol abbrevs; | changeset | files |