summaryrefslogtreecommitdiff
path: root/.zsh/zshrc
diff options
context:
space:
mode:
authorRené 'Necoro' Neumann <necoro@necoro.net>2009-10-27 16:51:33 +0100
committerRené 'Necoro' Neumann <necoro@necoro.net>2009-10-27 16:51:33 +0100
commit3263c97cc75129f1929eeb6c8836017215dd0114 (patch)
tree756a8c65ad176ebbf1a9b6e827ca3b5af9c7a4dc /.zsh/zshrc
parenta25016a5b06400bd72afeda1c5f9c05705bb8bab (diff)
downloaddotfiles-3263c97cc75129f1929eeb6c8836017215dd0114.tar.gz
dotfiles-3263c97cc75129f1929eeb6c8836017215dd0114.tar.bz2
dotfiles-3263c97cc75129f1929eeb6c8836017215dd0114.zip
Add "-m iff" to isabelle call
Diffstat (limited to '')
-rw-r--r--.zsh/zshrc2
1 files changed, 1 insertions, 1 deletions
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'