summaryrefslogtreecommitdiff
path: root/isabelle-nix-fhsenv
ModeNameSize
-rw-r--r--Readme.org815logplain
-rw-r--r--default.nix1405logplain