Revise YaTeX-typeset faster.
Optimize window selection of error-jump.
1 parent 855e957 commit 3f07b46864df02fd4c558f844e5d13bbebc5cee4
@yuuji yuuji authored on 25 Oct 1993
Showing 6 changed files
View
docs/yatexadd.doc
View
docs/yatexgen.doc
View
yatex.el
Not supported
View
yatex.new
View
yatexadd.el
View
yatexprc.el