Added strategies for transitions and updated the search function
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
update ideaj project structure (xstream lib removed, project updated to java 1.7)
issue #67
remove unused imports
Merge pull request #76 from osa1/ideaproject

update ideaj project structure (xstream lib removed, project updated to ...
Merge pull request #75 from osa1/krun

fix issue 67
Make results folder to be by default the same as the programs folder.
Merge branch 'master' of https://github.com/kframework/k
CLEANUP_OPTIONS: Sanitize directory inputs
Merge branch 'work'
Resolve merge conflict
Update config.xml
Search in-depth for in/out files.
added comments to some exercise examples
added one more exercise: to simple typed static
Report nice config.xml parsing error messages.