html4.encoding=EUC-JP
html4.css.include=link
html4.css.url=orig.css
html3.encoding=EUC-JP
latex2e.encoding=iso-2022-jp
latex2e.option=a4j
latex2e.image=DVI2PSLaTeX2eImageHandler
latex2e.box=AscmacLaTeX2eBoxHandler
latex2e.program=AllttLaTeX2eProgramHandler