isabelle-utils/isabelle-licence, branch master
attempts at improving isabelle tooling outside jedit
https://stuebinm.eu/git/isabelle-utils/atom/isabelle-licence?h=master
2021-06-23T16:20:26Z
initial commit
2021-06-23T16:20:26Z
stuebinm
2021-06-23T16:20:26Z
urn:sha1:4513c6626a34f737482c102825be7c2ca1b43eff