summaryrefslogtreecommitdiff
path: root/isabelle-unicode/src (unfollow)
Commit message (Expand)AuthorFilesLines
2021-09-03somewhat pointless generalisation of a type signaturestuebinm1-5/+7
2021-09-03remove grmtoolsstuebinm1-0/+70