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 /.vim/bundle/gundo.vim | |
parent | a25016a5b06400bd72afeda1c5f9c05705bb8bab (diff) | |
download | dotfiles-3263c97cc75129f1929eeb6c8836017215dd0114.tar.gz dotfiles-3263c97cc75129f1929eeb6c8836017215dd0114.tar.bz2 dotfiles-3263c97cc75129f1929eeb6c8836017215dd0114.zip |
Add "-m iff" to isabelle call
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions