| Wed, 26 Feb 2014 11:58:35 +0100 | wenzelm | markup for method combinators; | file | diff | annotate |
| Tue, 25 Feb 2014 17:03:55 +0100 | wenzelm | clarified token markup: keyword1/keyword2 is for syntax, and "command" the entity kind; | file | diff | annotate |
| 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 |
| Sat, 22 Feb 2014 15:07:33 +0100 | wenzelm | refined language context: antiquotes; | file | diff | annotate |
| Thu, 20 Feb 2014 13:23:49 +0100 | wenzelm | default completion context via outer syntax; | file | diff | annotate |
| Thu, 20 Feb 2014 12:53:12 +0100 | wenzelm | completion of keywords and symbols based on language context; | file | diff | annotate |