diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2009-10-27 16:51:33 +0100 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2009-10-27 16:51:33 +0100 |
| commit | 3263c97cc75129f1929eeb6c8836017215dd0114 (patch) | |
| tree | 756a8c65ad176ebbf1a9b6e827ca3b5af9c7a4dc /.zsh/zshrc | |
| parent | a25016a5b06400bd72afeda1c5f9c05705bb8bab (diff) | |
| download | dotfiles-3263c97cc75129f1929eeb6c8836017215dd0114.tar.gz dotfiles-3263c97cc75129f1929eeb6c8836017215dd0114.tar.bz2 dotfiles-3263c97cc75129f1929eeb6c8836017215dd0114.zip | |
Add "-m iff" to isabelle call
Diffstat (limited to '')
| -rw-r--r-- | .zsh/zshrc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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' |