diff yatex.el @ 12:a7f397790cdc

Revise YaTeX-typeset faster. Optimize window selection of error-jump.
author yuuji
date Mon, 25 Oct 1993 14:35:00 +0000
parents 390df0e505da
children eafae54794a0
line wrap: on
line diff
Binary file yatex.el has changed

yatex.org