summaryrefslogtreecommitdiff
path: root/isabelle-proto
ModeNameSize
-rw-r--r--Cargo.toml393logplain
d---------src35logplain