Mercurial > hg > Papers > 2015 > atton-icfp

annotate .hgignore @ 3:11a86cf869e2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wrote introduction
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 24 Feb 2015 15:54:22 +0900
parents 32308ce01324
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 syntax: glob
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 .DS_Store
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 *.swp
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 *.*~
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 *.bbl
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 *.blg
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 *.lof
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 *.lol
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 *.lot
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 *.log
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 *.aux
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 *.dvi
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 *.toc
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 *.cpt
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 *.agda.replaced
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 *.agdai
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 *.agda~
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
32308ce01324 Add Template : http://www.sigplan.org/Resources/Author/
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 *.pdf