Prevent "ant java-clean" from deleting files that it shouldn't.
Fix encoding of tokens.
typo in README
Kompile - fixing SDF bug where the ambiguity node is higher than expected. Should work for fastKast too now.
added some NOTES in the tutorial
NOTES
Added NOTES to tutorial/lambda++/lesson_4
the java rewrite engine now uses sort inference (offered by Radu); imp and imp++ are updated to take advantage of it
refactored code to support mutually recursive data structures (a map which maps a key to a list whose head is a key in another map, etc)
added support for lists, maps and sets with a concrete number of elements (without a frame) in the java rewrite engine
added files related to issue 036(git)
Fixing issue #36, and adding regression test.
Woups, the test file is named issue.k not test.k.
Apparently the result should have a new line at the end of file.
Updated jrew engine output and added tests for imp.
Set smt to none for jenkins
JRE: Output configuration respects initial one.
JRE: Added imp++ tests.
Merge branch 'traian-test' of https://github.com/kframework/k into traian-test