Revert "frontend/pom.xml: kore dependency version 1.1 => 0.1"

kframework / k-legacy

The K tools (deprecated, see README)

http://kframework.org

Other

146 stars 61 forks source link

Closed msaxena2 closed 6 years ago

msaxena2 commented 6 years ago

Reverts kframework/k#2396.

Due to change in versioning policy in Kore, v1.x is now compatible with K, while the new master release will be 2.0.

@daejunpark Please review and merge if tests pass.

msaxena2 commented 6 years ago

test this please

msaxena2 commented 6 years ago

test this please

daejunpark commented 6 years ago

@msaxena2 LGTM. You're free to merge as well if the test passes.