Mercurial > hg > Papers > 2015 > atton-thesis
annotate .hgignore @ 58:c208d759b038 paper_v1
Add generated pdf
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 16 Feb 2015 16:26:01 +0900 |
parents | bf136bd59e7a |
children | 32122ea01243 |
rev | line source |
---|---|
0 | 1 syntax: glob |
2 | |
3 .DS_Store | |
4 | |
5 *.swp | |
25
a0d91fbf4876
Add description prove method in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
6 *.*~ |
0 | 7 |
54
bf136bd59e7a
Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
8 *.bbl |
bf136bd59e7a
Add thebibliography
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
9 *.blg |
1 | 10 *.lof |
19
43d3e7b31fc0
Fix listings and page numbering
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
13
diff
changeset
|
11 *.lol |
1 | 12 *.lot |
0 | 13 *.log |
14 *.aux | |
15 *.dvi | |
16 *.toc | |
17 *.cpt | |
13
9fed7b342d56
Add forgot figure files
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
1
diff
changeset
|
18 |
36 | 19 *.agda.replaced |
25
a0d91fbf4876
Add description prove method in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
20 *.agdai |
a0d91fbf4876
Add description prove method in agda
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
19
diff
changeset
|
21 *.agda~ |