testing new Jenkins messages to the k-list
fixing the build that I deliberately broke again
minor cleanup and comment
Merge branch 'master' of https://github.com/Multiball/k
K Idea plugin: Implemented support for tab size settings.
K Idea plugin: Implemented support for tab size settings. Updated the jar file.
catch java.lang.Error when calling sdf
Kompile - trying to make the parser more efficient by making typed variables have the type instead of K. Should reduce ambiguities significantly.
Trying to fix kool, and removing regression/issue677.
Forgot to remove the issue from the test list.
Kompile - trying to fix the build. Removing manually the labeled subsorts on top of variables.
Java backend: efficient implementation of MatcherException for control-flow
added TODO comment
fixed unification of injection labels
fixed unification of injection labels when cells/cell collections are injected
added TODOs
kore
pretty printing
pretty printer
pretty printer