added url link to the author
Patch and test for Issue #313.
added url link to the author
new visitor, based on new KORE
Merge branch 'master' of github.com:grosu/k
modify installation instructions
updated the visitor and quote/unquote in agents
fixed typos in k-visitor.k
fixed typos in k-visitor.k
minor text fixes requested by reviewer
Merge pull request #335 from dwightguth/install

modify installation instructions
Added isFunctional method to KLabelConstant.
Update test.k
Update config.xml

Added <xml> tag and -- to issue#313 options
Update config.xml

Apparently checkstyle requires <xml> in the first line
Merge remote-tracking branch 'origin/master' into issue#313
Added attributes to xml declaration.
spell-checked and added more comments, as requested by code reviewers
Update config.xml
Update config.xml

copyright