1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# https://github.com/coq/coq/issues/15181
coq: no-manual-page [*]
# False positive spelling errors (many authors are french-speaking)
coq binary: spelling-error-in-binary tage stage [usr/bin/coqwc]
coq: spelling-error-in-binary acces access [usr/bin/coqc]
coq: spelling-error-in-binary occurences occurrences [usr/bin/coqc]
coq: spelling-error-in-binary acces access [usr/bin/coqchk]
coq: spelling-error-in-binary oter other [usr/bin/coqdoc]
coq: spelling-error-in-binary acces access [usr/bin/coqidetop.opt]
coq: spelling-error-in-binary occurences occurrences [usr/bin/coqidetop.opt]
coq: spelling-error-in-binary acces access [usr/bin/coqnative]
coq: spelling-error-in-binary acces access [usr/bin/coqproofworker.opt]
coq: spelling-error-in-binary occurences occurrences [usr/bin/coqproofworker.opt]
coq: spelling-error-in-binary acces access [usr/bin/coqqueryworker.opt]
coq: spelling-error-in-binary occurences occurrences [usr/bin/coqqueryworker.opt]
coq: spelling-error-in-binary acces access [usr/bin/coqtacticworker.opt]
coq: spelling-error-in-binary occurences occurrences [usr/bin/coqtacticworker.opt]
coq: spelling-error-in-binary acces access [usr/bin/coqtop]
coq: spelling-error-in-binary occurences occurrences [usr/bin/coqtop]
coq: spelling-error-in-binary acces access [usr/bin/coqtop.opt]
coq: spelling-error-in-binary occurences occurrences [usr/bin/coqtop.opt]
|
