c-semantics icon indicating copy to clipboard operation
c-semantics copied to clipboard

Published 20 hours ago • verified publisher icon kframework

update installation instructions

Open charala1 opened this issue 5 years ago • 0 comments

So as to match https://github.com/kframework/c-semantics/pull/422

charala1 avatar May 28 '19 16:05 charala1