summaryrefslogtreecommitdiff
path: root/isabelle-unicode/src (unfollow)
Commit message (Expand)AuthorFilesLines
2021-09-21proof of concept: talking to `isabelle server`stuebinm1-17/+0
2021-09-03somewhat pointless generalisation of a type signaturestuebinm1-5/+7
2021-09-03remove grmtoolsstuebinm1-0/+70