1 files changed, 0 insertions, 2 deletions

diff --git a/.zshenv b/.zshenv
index b8b21b6..a562fc7 100644
--- a/.zshenv
+++ b/.zshenv
@@ -10,8 +10,6 @@ path=(
     ~/bin
     # node stuff
     ~/.node/bin
-    # isabelle
-    ~/isabelle/Isabelle/bin
     # rest
     $path)