8000 Tags · ferrandf/Kind · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: ferrandf/Kind

Tags

v1.0.95

Toggle v1.0.95's commit message
release new version

v1.0.94

Toggle v1.0.94's commit message
Merge branch 'master' into rheidner/syntax

v1.0.93

Toggle v1.0.93's commit message
Merge branch 'master' into forall-change

v1.0.86

Toggle v1.0.86's commit message
update scheme

v1.0.84

Toggle v1.0.84's commit message
Merge branch 'master' of https://github.com/uwu-tech/kind

v1.0.83

Toggle v1.0.83's commit message
rebuild scheme

1.0.69

Toggle 1.0.69's commit message
Merge branch 'master' of github.com:uwu-tech/kind

v1.0,59

Toggle v1.0,59's commit message
include version number

0