Home
last modified time | relevance | path

Searched defs:new_dvi_name (Results 1 – 4 of 4) sorted by relevance

/dports/print/tex-xdvik/xdvik-22.87/texk/xdvik/
H A Dpagehist.c233 char *new_dvi_name; in goto_location() local
H A Dfilehist.c334 char *new_dvi_name = NULL; in file_history_open() local
H A Dhypertex.c1468 char *new_dvi_name = NULL; in htex_back() local
1540 char *new_dvi_name = NULL; in htex_forward() local
1715 char *new_dvi_name = NULL; in htex_handleref() local
H A Ddvi-init.c1688 char *new_dvi_name = NULL; local