Default Branch

master

f56e2a7b9e · Use POSIX-compliant method to find isabelle command. · Updated 3 months ago