comparison leim/CXTERM-DIC/Punct-b5.tit @ 60749:3b3b017d62ab

(tex-view): If tex-shell process is not running, restart it.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 19 Mar 2005 14:45:20 +0000
parents 695cf19ef79e
children 375f2633d815 ef719132ddfa
comparison
equal deleted inserted replaced
60748:e83f2fedadd4 60749:3b3b017d62ab