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

Re: [PVS-Help] 429: emacs: not found



Hi Lee,

Did you try running with
  pvs -emacs xemacs

If that works, you can set the PVSEMACS environment variable to xemacs

Regards,
Sam Owre