Achim D. Brucker f56e2a7b9e Use POSIX-compliant method to find isabelle command.		2021-08-20 22:35:24 +01:00
..
logicalhacking.zsh-theme	Use POSIX-compliant method to find isabelle command.	2021-08-20 22:35:24 +01:00