[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] how to set path of Latex Preview





Hello
Sir
I want to know how to set Previewer and find
~/.pvsemacs file.
to add this  (setq pvs-latex-viewer "previewer ")






Regards Hussam Ali
Department of Computer Science
  University of Sargodha
    Pakistan