kframework/k — pull request #248 by dwightguth (2014-02-26 22:53:58+00:00)
Title: make directory structure slightly more sane

This is going to be controversial, but honestly, src/java/src and src/sdf is already bad enough. We don't need src/javasources/KTool/src and src/javasources/parser/Concrete. It just adds noise.

I am open to renames though as long as they aren't unnecessarily long.