summaryrefslogtreecommitdiff
path: root/isabelle-proto/src (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-10-26slightly less hacky proof of conceptstuebinm2-70/+145
2021-09-21proof of concept: talking to `isabelle server`stuebinm1-0/+312
for now this just checks a file given on the command line, and panics if anything at all goes wrong.