kframework/k — pull request #1022 by dwightguth (2014-10-01 16:21:13+00:00)
Title: Delete stuff

FYI @liyili2 @andreiarusoaie @dlucanu @daniel-ionut-vicol @ciobaca

In order to make the core of the K framework easier to maintain, and in light of the new approach to a modular architecture, I am removing components that belong to each of you. If you have any desire to refer to them in the future, they are available for download at this repository under the tag v3.4.1, which tags commit 397620c

I imagine you may be interested in being able to continue to use your tools with the latest version of the framework, so I encourage you all to attempt to convert these components into K modules, using the java backend module as a guide. If you find that this is more difficult than you expect, or that you believe you should have access to a core API of the tool when developing these modules, please email me or find me on Google Hangouts and we'll talk about the right way to provide the interface that you need.

Please let me know if you have any questions.

@yilongli @grosu please review