From 3263c97cc75129f1929eeb6c8836017215dd0114 Mon Sep 17 00:00:00 2001
From: René 'Necoro' Neumann <necoro@necoro.net>
Date: Tue, 27 Oct 2009 16:51:33 +0100
Subject: Add "-m iff" to isabelle call

---
 .zsh/zshrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.zsh')

diff --git a/.zsh/zshrc b/.zsh/zshrc
index a3ffd86..ece7d6c 100644
--- a/.zsh/zshrc
+++ b/.zsh/zshrc
@@ -37,7 +37,7 @@ 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'
+alias IE='isabelle emacs -m iff'
 
 # the config management stuff
 alias config='GIT_DIR=$HOME/.config.git/ git --work-tree=$HOME'
-- 
cgit v1.2.3-54-g00ecf