.gitignore


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104

*.glob
*.d
*.d.raw
*.vo
*.cm*
*.annot
*.spit
*.spot
*.o
*.a
*.log
*.aux
*.dvi
*.blg
*.bbl
*.idx
*.ilg
*.toc
*.atoc
*.comidx
*.comind
*.erridx
*.errind
*.haux
*.hcomind
*.herrind
*.hind
*.htacind
*.htoc
*.ind
*.lof
*.stamp
*.tacidx
*.tacind
*.v.tex
*.v.pdf
*.v.ps
*.v.html
revision
TAGS
bin/
config/Makefile
config/coq_config.ml
plugins/dp/dp_zenon.ml
dev/ocamldebug-coq
dev/ocamlweb-doc/lex.ml
dev/ocamlweb-doc/syntax.ml
dev/ocamlweb-doc/syntax.mli
ide/config_lexer.ml
ide/config_parser.ml
ide/config_parser.mli
ide/coq_lex.ml
ide/extract_index.ml
ide/find_phrase.ml
ide/highlight.ml
ide/undo.mli
ide/utf8_convert.ml
kernel/byterun/coq_jumptbl.h
kernel/byterun/dllcoqrun.so
kernel/copcodes.ml
scripts/tolink.ml
states/initial.coq
test-suite/lia.cache
test-suite/trace
theories/Numbers/Natural/BigN/NMake_gen.v
tools/coqdep_lexer.ml
tools/coqdoc/cpretty.ml
tools/coqwc.ml
tools/gallina_lexer.ml
toplevel/mltop.optml
plugins/micromega/csdpcert
toplevel/mltop.byteml
coqdoc.sty
ide/index_urls.txt
doc/faq/html/
doc/refman/Reference-Manual.pdf
doc/refman/Reference-Manual.ps
doc/refman/cover.html
doc/refman/styles.hva
doc/refman/Reference-Manual.html
doc/common/version.tex
doc/refman/Reference-Manual.sh
doc/refman/coqide-queries.eps
doc/refman/coqide.eps
doc/refman/euclid.ml
doc/refman/euclid.mli
doc/refman/heapsort.ml
doc/refman/heapsort.mli
doc/refman/html/
doc/stdlib/Library.out
doc/stdlib/Library.pdf
doc/stdlib/Library.ps
doc/stdlib/Library.coqdoc.tex
doc/stdlib/html/
doc/stdlib/index-body.html
doc/stdlib/index-list.html
doc/RecTutorial/RecTutorial.html
doc/RecTutorial/RecTutorial.pdf
doc/RecTutorial/RecTutorial.ps
dev/doc/naming-conventions.pdf
_build
plugins/*/*_mod.ml
myocamlbuild_config.ml
.DS_Store