Added sample documentation comments to include/builtins/map.k, include/builtins/set.k, and include/builtins/list.k
Fixed latex errors.
added comment about list associativity
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.
renamed my pattern-matching module to MY-PATTERN-MATCHING
Merge pull request #243 from Multiball/master

Added sample documentation comments
updated some READMEs
updated a README
testing README.md
Trying to convert all README files into README.md
README got replaced by README.md
Update and rename README to README.md
kore
kore parser
kore parser