Mercurial > hg > Papers > 2013 > kono-prosym
directory / @ 12:5b51dffd2b19 default tip
| name | size | permissions |
|---|---|---|
 fig/
|
drwxr-xr-x | |
|
presen/
|
drwxr-xr-x | |
 Agda.mm
|
13501 | -rw-r--r-- |
|
agda-prog.ind
|
54770 | -rw-r--r-- |
|
agda2latex.pl
|
715 | -rw-r--r-- |
|
do.sh
|
287 | -rw-r--r-- |
|
fancyvrb.sty
|
45913 | -rw-r--r-- |
|
ipsj.tex
|
1382 | -rwxr-xr-x |
|
ipsjcommon.sty
|
35314 | -rwxr-xr-x |
|
ipsjdrafts.sty
|
12021 | -rwxr-xr-x |
|
ipsjpapers.cls
|
451 | -rwxr-xr-x |
|
ipsjpapers.sty
|
67755 | -rwxr-xr-x |
|
ipsjsort.bst
|
22981 | -rwxr-xr-x |
|
ipsjunsrt.bst
|
20635 | -rwxr-xr-x |
|
prosym-kono-2014.pdf
|
389404 | -rw-r--r-- |