summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore17logplain
-rw-r--r--Cargo.lock319logplain
-rw-r--r--Cargo.toml92logplain
-rw-r--r--Readme.org1487logplain
-rw-r--r--crates.nix83logplain
-rw-r--r--default.nix298logplain
-rwxr-xr-xisabat749logplain
-rw-r--r--isabat.nix431logplain
-rw-r--r--isabelle-licence1693logplain
d---------isabelle-unicode68logplain
-rw-r--r--isabelle.sublime-syntax4804logplain
d---------isabelle2unicode68logplain
d---------nix79logplain
d---------symbolmacro144logplain
-rw-r--r--symbols25867logplain