Mercurial > hg > Papers > 2013 > kono-prosym
directory / @ 1:888cc58ced9d
| name | size | permissions |
|---|---|---|
 Agda.mm
|
13501 | -rw-r--r-- |
|
agda-prog.ind
|
3748 | -rw-r--r-- |
|
fancyvrb.sty
|
45096 | -rw-r--r-- |
|
ipsjcommon.sty
|
35314 | -rwxr-xr-x |
|
ipsjdrafts.sty
|
12021 | -rwxr-xr-x |
|
ipsjpapers.sty
|
67755 | -rwxr-xr-x |
|
ipsjsort.bst
|
22981 | -rwxr-xr-x |
|
ipsjunsrt.bst
|
20635 | -rwxr-xr-x |