From 408943f657bce17675ddcfa25ffa014820f081bd Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Tue, 14 Jul 2020 13:15:57 +0200
Subject: [PATCH] update vimrc

---
 vimrc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/vimrc b/vimrc
index 07e03b7..cdb9f54 100644
--- a/vimrc
+++ b/vimrc
@@ -108,6 +108,8 @@ Plug '~/dgapt', { 'rtp': 'vim' }
 Plug 'leanprover/lean.vim'
 
 " Plug 'neoclide/coc.nvim', {'do': { -> coc#util#install()}}
+" Plug 'autozimu/LanguageClient-neovim', { 'do': ':UpdateRemotePlugins' }
+Plug 'Shougo/echodoc.vim'
 
 Plug 'rickhowe/diffchar.vim'
 
@@ -153,6 +155,7 @@ au BufNewFile,BufRead *.tptp setl ft=tptp
 au BufNewFile,BufRead *.smt2 setl ft=smt
 
 au BufReadCmd *.epub call zip#Browse(expand("<amatch>"))
+au BufReadCmd *.FCStd call zip#Browse(expand("<amatch>"))
 
 au FileType scala nnoremap <silent> <c-]> :EnDeclaration<cr>