diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2012-04-27 12:42:27 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2012-04-27 12:45:57 +0200 |
| commit | f15aa7601dda9ec0827215ed34af02d8cf775b7d (patch) | |
| tree | d00421669ea6c10b22a5bb0d1a7b887f4ba50bc7 /.vim/doc/NERD_tree.txt | |
| parent | c5a260db34c7a5cf44e0266a345ab12da60f0c3d (diff) | |
| download | dotfiles-f15aa7601dda9ec0827215ed34af02d8cf775b7d.tar.gz dotfiles-f15aa7601dda9ec0827215ed34af02d8cf775b7d.tar.bz2 dotfiles-f15aa7601dda9ec0827215ed34af02d8cf775b7d.zip | |
Enable auto-quickcheck in isabelle
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions