-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.gitignore
101 lines (77 loc) · 2.79 KB
/
.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
popl2015.pdf
CoLoSL.pdf
*.aux
*.tex~
*.aux
*.log
*.blb
*.bbl
*.backup
*.blg
*.out
*.*~
*.gz
CoLoSL-POPL2015/Sections/FurtherExamples/Images/popl2015.graffle/image1.pdf
CoLoSL-POPL2015/Sections/FurtherExamples/Images/popl2015-2.graffle/image1.pdf
CoLoSL-POPL2015/Sections/FurtherExamples/Images/popl2015-2.graffle/data.plist
CoLoSL-POPL2015/Sections/FurtherExamples/Images/popl2015.graffle/data.plist
CoLoSL-POPL2015/OdeToQ/OdeToQ.pdf
CoLoSL-POPL2015/popl2015.dvi
*.gz(busy)
CoLoSL-CONCUR/concur.tex.pdf
CoLoSL-CONCUR/concur.pdf
CoLoSL-TechnicalDetails/Sections/Appendix/lemmata/waste.tex
CoLoSL-TechnicalDetails/Sections/Examples/waste.tex
CoLoSL-TechnicalDetails/CoLoSL-TR.pdf
*.bak
*.toc
CoLoSL-TechnicalDetails-Simplified/Sections/Appendix/lemmata/waste.tex
CoLoSL-TechnicalDetails-Simplified/CoLoSL-TR.pdf
CoLoSL-ESOP2015/esop2015.pdf
CoLoSL-ESOP2015/typeinst/typeinst.pdf
CoLoSL-ESOP2015/llncs2e (1)/aliascnt.sty
CoLoSL-ESOP2015/llncs2e (1)/llncs.cls
CoLoSL-ESOP2015/llncs2e (1)/llncs.doc
CoLoSL-ESOP2015/llncs2e (1)/llncs.dem
CoLoSL-ESOP2015/llncs2e (1)/llncs.dvi
CoLoSL-ESOP2015/llncs2e (1)/llncs.ind
CoLoSL-ESOP2015/llncs2e (1)/llncsdoc.pdf
CoLoSL-ESOP2015/llncs2e (1)/llncsdoc.sty
CoLoSL-ESOP2015/llncs2e (1)/remreset.sty
CoLoSL-ESOP2015/llncs2e (1)/splncs03.bst
CoLoSL-ESOP2015/llncs2e (1)/sprmindx.sty
CoLoSL-ESOP2015/llncs2e (1)/subjidx.ind
CoLoSL-ESOP2015/typeinst/eijkel2.eps
CoLoSL-ESOP2015/typeinst/typeinst.tex
CoLoSL-TechnicalDetails-Simplified/azalea (copy).sty
CoLoSL-TechnicalDetails-Simplified/tcolorbox.sty
CoLoSL-ESOP2015/Sections/Logic/logic-merged.tex
CoLoSL-ESOP2015/Sections/Logic/logic-short.tex
CoLoSL-ESOP2015/Sections/Assertions/logic-merged.tex
CoLoSL-ESOP2015/Sections/Assertions/logic-short.tex
CoLoSL-ESOP2015/Sections/Model/model - Copy (2).tex
CoLoSL-TechnicalDetails-Simplified/Sections/Backup/Introduction - Copy/introduction.tex
CoLoSL-TechnicalDetails-Simplified/Sections/Backup/Intuition - Copy/intuition.tex
CoLoSL-ESOP2015/llncs2e (1)/history.txt
CoLoSL-ESOP2015/llncs2e (1)/readme.txt
CoLoSL-TR/CoLoSL-TR.pdf
CoLoSL-TR/CoLoSL-TR.pdf
CoLoSL-ESOP2015 - CRC/esop2015.pdf
CoLoSL-ESOP2015-CRC/esop2015.pdf
CoLoSL-ESOP2015/Sections/Introduction/backup-words.tex
*.fls
*.fdb_latexmk
*.pdf
ESOP-Paper-11-CoLoSL/LaTeX/azalea.sty
ESOP-Paper-11-CoLoSL/LaTeX/abbrv.bst
ESOP-Paper-11-CoLoSL/LaTeX/biblio.bib
ESOP-Paper-11-CoLoSL/LaTeX/esop2015.tex
ESOP-Paper-11-CoLoSL/LaTeX/llncs.cls
ESOP-Paper-11-CoLoSL/LaTeX/mathlig.tex
ESOP-Paper-11-CoLoSL/LaTeX/mathpartir.sty
ESOP-Paper-11-CoLoSL/LaTeX/Sections/Conclusion/conclusion.tex
ESOP-Paper-11-CoLoSL/LaTeX/Sections/Examples/examples.tex
ESOP-Paper-11-CoLoSL/LaTeX/Sections/Introduction/introduction.tex
ESOP-Paper-11-CoLoSL/LaTeX/Sections/Intuition/intuition.tex
ESOP-Paper-11-CoLoSL/LaTeX/Sections/Model/model.tex
ESOP-Paper-11-CoLoSL/LaTeX/seplog.sty