summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore16logplain
-rw-r--r--Cargo.lock319logplain
-rw-r--r--Cargo.toml80logplain
-rw-r--r--Readme.org2216logplain
-rw-r--r--default.nix191logplain
-rw-r--r--isabelle-licence1693logplain
d---------isabelle-unicode68logplain
-rw-r--r--isabelle.sublime-syntax4804logplain
d---------nix79logplain
d---------symbolmacro144logplain
-rw-r--r--symbols25867logplain
d---------util68logplain