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