1 files changed, 0 insertions, 1 deletions
diff --git a/.zsh/zshrc b/.zsh/zshrc
index e35ef44..bcde10b 100644
--- a/.zsh/zshrc
+++ b/.zsh/zshrc
@@ -39,7 +39,6 @@ alias pstart='./portato.py -F'
 alias quickweb='python -c "import SimpleHTTPServer;SimpleHTTPServer.test()"'
 alias CH='./configure --help | less'
 alias FF='noglob firefox'
-alias IE='isabelle emacs -m iff'
 
 # suffixes
 alias -s exe='wine'