search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

Replace "kale" with "skala" as an argument to --backend #2330

Closed ehildenb closed 6 years ago

ehildenb commented 6 years ago

@cos can you make sure this is still correct and lets get it merged?

lucaspena commented 6 years ago

We can change it from skala to scala here, but this looks like just a comment. It's not clear exactly what we'd have to change in order to correctly rename it to scala. For example, are there other repositories like kale or kore that depend on the name skala? Feel free to open up another pull request and change it to scala everywhere needed, but if it's ok with you we'd like to just get this merged as is.

ehildenb commented 6 years ago

Merging, we can re-name it again later if needed. It looks like renaming it will require more work than just changing things in this repository.