about summary refs log tree commit diff
path: root/pkgs/by-name/is
ModeNameSize
d---------isabelle76log plain
d---------iscc39log plain