diff etc/=MACHINES @ 5088:73a1b31b673f

(tex-send-command): Wait for output first, if text has not changed since previous tex-send-command. (tex-send-command-modified-tick): New buffer-local variable.
author Richard M. Stallman <rms@gnu.org>
date Sat, 20 Nov 1993 22:21:30 +0000
parents 0e1b3507ee15
children
line wrap: on
line diff