summaryrefslogtreecommitdiff
path: root/isabelle-proto (follow)
Commit message (Expand)AuthorAgeFilesLines
* better code structure for isabelle-protostuebinm2021-10-263-135/+148
* slightly less hacky proof of conceptstuebinm2021-10-262-70/+145
* proof of concept: talking to `isabelle server`stuebinm2021-09-212-0/+326