isabelle-utils/nix, branch master
attempts at improving isabelle tooling outside jedit
update nix sources
2021-09-04T14:34:04+00:00
stuebinm
2021-09-04T14:30:59+00:00
147816450f7c10b4f0c734aa8910aef2d92f5496
add nix derivation
2021-06-23T18:37:59+00:00
stuebinm
2021-06-23T18:37:59+00:00
715001ba92799839afc97d92c9f0a79924085a69
(using naersk)