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

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



Hid Hussam Ali,

You simply create the ~/.pvsemacs file if it's not there.

Regards,
Sam Owre

HUSSAM ALI <brain_inbox@xxxxxxxxx> wrote:

> 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
>