| Sun, 23 Feb 2014 21:11:59 +0100 | wenzelm | clarified semantic completion: retain kind.full_name as official item name for history; | file | diff | annotate |
| Sun, 23 Feb 2014 14:39:51 +0100 | wenzelm | clarified completion names; | file | diff | annotate |
| Sat, 22 Feb 2014 20:52:43 +0100 | wenzelm | support for completion within the formal context; | file | diff | annotate |