diff src/=unexsgi.c @ 5087:a7b2df620d1a

(tex-start-shell): Don't use -v option. (tex-send-command): Insert text in the buffer, then use comint-send-input to send it.
author Richard M. Stallman <rms@gnu.org>
date Sat, 20 Nov 1993 22:00:55 +0000
parents c10bb302a315
children 1c2342e0edae
line wrap: on
line diff