-
Notifications
You must be signed in to change notification settings - Fork 43
/
.gitignore
67 lines (66 loc) · 908 Bytes
/
.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
.*.cache
*~
*.d
*.vo
*.vok
*.vos
/Makefile.coq
/Makefile.coq.conf
/Makefile.hott
/Makefile.hott.conf
src/META.coq-equations
*.bak
*.cm*
*.o
*.glob
*.aux
*.mtc*
*.maf
*.bbl
*.blg
*.log
*.map
*.out
*.toc
*.a
/doc/auto/
/doc/coqdoc.sty
/doc/equations.pdf
/doc/intro.pdf
/doc/intro.tex
/theories/.coq-native/
/test-suite/.coq-native/
/html/
/examples/nlia.cache
/examples/.nia.cache
docs/.sass-cache/
docs/_site
/examples/*.tex
/examples/coqdoc.sty
/test-suite/Makefile
/test-suite/bisect.coq
/test-suite/Makefile.conf
/src/*.annot
*.lock
/doc/equations.fls
/doc/equations.fdb_latexmk
/.nia.cache
/src/g_equations.ml
# Dune-generated files
.merlin
_build
*.install
/test-suite/*.agdai
/custom-HoTT/
/examples/Makefile
/examples/Makefile.conf
/Makefile.conf
Equations-HoTT
_opam
custom-HoTT
doc/equations_intro.tex
doc/equations_intro.html
doc/coqdoc.css
doc/index.html
META
.vscode/Coq-Equations.code-workspace