isabelle-utils/nix, branch master
attempts at improving isabelle tooling outside jedit
https://stuebinm.eu/git/isabelle-utils/atom/nix?h=master
2021-09-04T14:34:04Z
update nix sources
2021-09-04T14:34:04Z
stuebinm
2021-09-04T14:30:59Z
urn:sha1:147816450f7c10b4f0c734aa8910aef2d92f5496
add nix derivation
2021-06-23T18:37:59Z
stuebinm
2021-06-23T18:37:59Z
urn:sha1:715001ba92799839afc97d92c9f0a79924085a69
(using naersk)