KPlug-7 References for KLabels.
KPlug-8 Support for references to auxiliary functions in their KLabel form.
KPlug-9. Support for references to sorts.
K-idea-plugin. Bug: find usages in a file without "requires". If we search for a usage in such a file, usages will be searched in this file only. This is an optimization, to have faster search in K tutorial. In projects where there are multiple separate semantics, each in a single file. However this optimization don't work correctly for java module core.k.

So we need the following behaviour: if this file don't contain requires clauses but there are other files in this project that have requires clauses pointing to this file, search for usages in the whole project.
K Idea plugin: Published the updated plugin. Support for sorts reference/search added.
K-idea-plugin. Extending Ctrl+Q functionality. Visualising function implementation as part of its documentation. Preliminary version of the feature.
 K-idea-plugin: Moved temporary todo into the task management system.
K-idea-plugin. KPlug-16 Investigate line wrapping inside documentation view. Corrected.
K-idea-plugin. KPlug-15 Show context rules as part of the documentation. Contexts are discovered (in most cases), but activating this feature makes documentation generation slow. We have to minimize the usage of PsiReference.resolve() when searching for contexts to include in documentation.
K-idea-plugin. KPlug-15 Show context rules as part of the documentation. Now context rules included into the documentation of a function may refer to that function in their KLabel form. Improved performance.
K-idea-plugin. KPlug-17 KLabel documentation with Ctrl+Q implemented.
K-idea-plugin. KPlug-18 Documentation for K Sorts with Ctrl+Q.
K-idea-plugin. Updated the documentation.
K Idea plugin: Published the plugin v1.1
Merge branch 'master' of https://github.com/kframework/k