diff options
author | René Neumann <rene.neumann@in.tum.de> | 2012-03-06 16:54:49 +0100 |
---|---|---|
committer | René Neumann <rene.neumann@in.tum.de> | 2012-03-06 16:54:49 +0100 |
commit | 628a05ec0bc271e8b0d70b009d6a31a37e9f9c68 (patch) | |
tree | a6fa1f38618dc07fd0119b6d63f12bb501f3b777 /.vimperator | |
parent | a07cd2a091764d83e83006f2c853af152a67787b (diff) | |
download | dotfiles-628a05ec0bc271e8b0d70b009d6a31a37e9f9c68.tar.gz dotfiles-628a05ec0bc271e8b0d70b009d6a31a37e9f9c68.tar.bz2 dotfiles-628a05ec0bc271e8b0d70b009d6a31a37e9f9c68.zip |
More isabelle emacs stuff, especially shortcuts
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions