Skip to content
GitLab
Explore
Sign in
Register
4 forks: 4 public, 0 internal, and 0 private
Created date
Isaac van Bakel /
coq-au-vim
Allow for coqtop arguments in _CoqProject file
0
Updated
Aug 22, 2023
0
0
0
0
Updated
Aug 22, 2023
François Dupressoir /
coq-au-vim
Merge branch 'coqproject-file' into 'master'
0
Updated
Feb 02, 2021
0
0
0
0
Updated
Feb 02, 2021
Bartłomiej Puget /
coq-au-vim
Fix init race condition
0
Updated
May 20, 2019
0
0
0
0
Updated
May 20, 2019
Adam Matoušek /
coq-au-vim
Recognise three dots as a sentence terminator.
0
Updated
Apr 28, 2020
0
0
0
0
Updated
Apr 28, 2020