summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masteractually usable code structure for isabelle-protostuebinm6 weeks
 
 
AgeCommit messageAuthorFilesLines
2021-10-26actually usable code structure for isabelle-protoHEADmasterstuebinm3-95/+67
2021-10-26better code structure for isabelle-protostuebinm3-135/+148
2021-10-26slightly less hacky proof of conceptstuebinm2-70/+145
2021-09-21proof of concept: talking to `isabelle server`stuebinm5-21/+632
2021-09-04update readmestuebinm1-54/+33
2021-09-04restructure nix stuffstuebinm4-13/+24
2021-09-04isabat: move into /bin dir in packagestuebinm1-1/+2
2021-09-04update nix sourcesstuebinm2-7/+7
2021-09-04add some sanity checks to isabatstuebinm2-1/+19
2021-09-04add isabat scriptstuebinm2-0/+34
[...]