- 23 Jan, 2020 1 commit
-
-
Julien Lepiller authored
It caused :UpdateRemotePlugins not to work for some people. See https://github.com/neovim/neovim/issues/9828#issuecomment-479870735
-
- 15 Jan, 2020 1 commit
-
-
Julien Lepiller authored
-
- 07 Nov, 2019 2 commits
-
-
Julien Lepiller authored
-
Julien Lepiller authored
-
- 28 Oct, 2019 6 commits
-
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
- 25 Oct, 2019 4 commits
-
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
- 24 Oct, 2019 1 commit
-
-
Julien Lepiller authored
This also updates the parser behavior: it now considersr intermediate comments, as long as they don't belong to command, as separate commands. CoqNext will therefore stop at each comment, instead of passing over any comment before the next command.
-
- 21 Oct, 2019 2 commits
-
-
Julien Lepiller authored
-
Julien Lepiller authored
-
- 18 Oct, 2019 1 commit
-
-
Julien Lepiller authored
-
- 17 Oct, 2019 6 commits
-
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
- 14 Oct, 2019 3 commits
-
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
- 28 Jun, 2019 1 commit
-
-
Julien Lepiller authored
Comparing numbers by their string value was not a good idea...
-
- 27 Jun, 2019 2 commits
-
-
Julien Lepiller authored
-
Julien Lepiller authored
-
- 19 Jun, 2019 1 commit
-
-
Julien Lepiller authored
-
- 22 May, 2019 3 commits
-
-
Julien Lepiller authored
-
Julien Lepiller authored
-
Julien Lepiller authored
-
- 21 May, 2019 1 commit
-
-
Julien Lepiller authored
-
- 16 May, 2019 1 commit
-
-
Julien Lepiller authored
-
- 14 May, 2019 1 commit
-
-
Julien Lepiller authored
-
- 13 May, 2019 1 commit
-
-
Julien Lepiller authored
-
- 01 May, 2019 2 commits
-
-
Julien Lepiller authored
-
Julien Lepiller authored
-