isabelle-utils/.gitignore, branch master attempts at improving isabelle tooling outside jedit restructure nix stuff 2021-09-04T14:43:19+00:00 stuebinm 2021-09-04T14:43:19+00:00 3d7cd5018144c4c7b3a95ae7a1953445f6b25fa7 There's now a packageset in default.nix, and individual files for the rust and shell script stuff. 
There's now a packageset in default.nix, and individual files for the
rust and shell script stuff.
add nix derivation 2021-06-23T18:37:59+00:00 stuebinm 2021-06-23T18:37:59+00:00 715001ba92799839afc97d92c9f0a79924085a69 (using naersk) 
(using naersk)
initial commit 2021-06-23T16:20:26+00:00 stuebinm 2021-06-23T16:20:26+00:00 4513c6626a34f737482c102825be7c2ca1b43eff