summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore16logplain
-rw-r--r--Cargo.lock319logplain
-rw-r--r--Cargo.toml92logplain
-rw-r--r--Readme.org2216logplain
-rw-r--r--default.nix194logplain
-rwxr-xr-xisabat277logplain
-rw-r--r--isabat.nix418logplain
-rw-r--r--isabelle-licence1693logplain
d---------isabelle-unicode68logplain
-rw-r--r--isabelle.sublime-syntax4804logplain
d---------isabelle2unicode68logplain
d---------nix79logplain
d---------symbolmacro144logplain
-rw-r--r--symbols25867logplain