summaryrefslogtreecommitdiff
path: root/isabelle-unicode/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* proof of concept: talking to `isabelle server`stuebinm2021-09-211-17/+0
* somewhat pointless generalisation of a type signaturestuebinm2021-09-031-5/+7
* remove grmtoolsstuebinm2021-09-031-0/+70