Fri, 30 Aug 2013 12:09:53 +0200 | wenzelm | allow multiple entries; | file | diff | annotate |
Fri, 30 Aug 2013 11:04:29 +0200 | wenzelm | allow multiple symbol properties, notably groups and abbrevs; | file | diff | annotate |
Fri, 30 Aug 2013 10:01:25 +0200 | wenzelm | less surprising immediate completion; | file | diff | annotate |
Thu, 29 Aug 2013 22:35:50 +0200 | wenzelm | less aggressive immediate completion, based on input and text; | file | diff | annotate |
Thu, 29 Aug 2013 22:08:02 +0200 | wenzelm | preserve original word -- relevant for true uniqueness of immediate completion; | file | diff | annotate |
Thu, 29 Aug 2013 15:29:24 +0200 | wenzelm | clarified module location; | file | diff | annotate | base |