MD5 (elisp-manual-20-2.5-jp.tgz) = db1bc051680d99fa1e80bd4a2a204d07 MD5 (elisp-manual-20-2.5-jp.ERRATA.000422.jis) = 1c82071aebee7b3cd1611589828a57b6 MD5 (elisp-manual-20-2.5-jp.ERRATA.000508.jis) = ec1a557a5d81a09574b047a5bc0e5183