added url link to the author
Partial strictness for KLabels.
Refactoring to reduce warnings
Added test to test suite.
Patch and test for Issue #313.
Fix regular expression. Adding the "|" operator to Token to allow for String declarations.
Merge pull request #316 from kframework/newparser-blankslate

Removing the old commits of the parser to prepare for the one time code review.
Added task to remove Promela parser generated files.
Merge pull request #320 from kframework/remove-promela-parser-files

Added task to remove Promela parser generated files.
Adding regression test for lexical extension.
Revert "Adding regression test for lexical extension."

This reverts commit 9f3e097468c458e6a42ea038d28da6af5a3d1556.
Merged strictness tests.
Adding unit test instead of ktest.
Merge pull request #312 from kframework/klabel-strictness

Klabel strictness
Merge pull request #317 from kframework/lexer-fix

Fix regular expression. Adding the "|" operator to Token to allow for
removed Sorted interface; added Term#sort and Term#isExactSort instead
fixed isExactSort detection in KItem
minor reformatting
fix NPE due to possibleMinimalSorts
Merge pull request #322 from andreistefanescu/master

removed Sorted interface; added Term#sort and Term#isExactSort instead