My quick view of kore. Not tested.
Making kore parse quote-unquote.k
hooks and some changes
inlined hook namespaces
Merge pull request #1056 from kframework/kast-in-K-diff

Making it parse, and adding hooks
moved older versions of kore in old-attempts
updated the kore folder