diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2012-10-27 12:07:26 +0200 |
|---|---|---|
| committer | René Neumann <rene.neumann@in.tum.de> | 2012-10-27 12:07:27 +0200 |
| commit | 70ee9ce5beb9a1a73814596003382c1ecf159d1a (patch) | |
| tree | a2109711f815e71d74a503334bb91c51208aa180 /.vim | |
| parent | a1ac0d2e1da3bf2bc42f5482de4338cc3795f913 (diff) | |
| download | dotfiles-70ee9ce5beb9a1a73814596003382c1ecf159d1a.tar.gz dotfiles-70ee9ce5beb9a1a73814596003382c1ecf159d1a.tar.bz2 dotfiles-70ee9ce5beb9a1a73814596003382c1ecf159d1a.zip | |
Launch isabelle in background (+ some comments and small cleanup)
Diffstat (limited to '.vim')
0 files changed, 0 insertions, 0 deletions