Mercurial > hg > Papers > 2013 > kono-prosym
directory / @ 2:576a3272522d
name | size | permissions |
---|---|---|
Agda.mm | 13501 | -rw-r--r-- |
agda-prog.ind | 15460 | -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 |