bn-peters

Opening Coq .v files really slow

3

### What did you expect to happen? Opening a .v file (e.g. []) takes a long time. ### What actually happened? . ### Describe your attempts to resolve the issue...

Mapping <c-space> as expand trigger inserts <t_ü> when no completion is possible

3

**Expected behavior:** Assigning `g:UltiSnipsExpandTrigger` to `` should work fine. **Actual behavior:** Using the shortcut with no available completion before inserts ``. **Steps to reproduce** .vimrc (using plug.vim): ``` call plug#begin()...

Hi, I have snipmate snippets of the form ``` snippet Delta Δ ``` and would like to expand them inside a partial word, i.e. I want `HDelta` to expand to...

:Coq Set Printing Width not persistent

1

I would like to globally (or even dynamically) adjust the Printing Width (`Set Printing Width 100`). Unfortunately `:Coq Set Printing Width 120` doesn't always seem to persist: When I execute...