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

Re: Emacs version?




Paul -

Sam has come up with a fix that should allow us to support
Emacs version 19 before 19.31, which was dropped from the
pvs script a while back.

In the mean time, to get you going, you can edit the `pvs'
script and remove the `-title PVS@$HOST' from this line:

    emacs19|emacs20) PVSXINIT="-name pvs -title PVS@$HOST -xrm pvs*iconName:PVS@$HOST $PVSXINIT";;


or upgrade to emacs19.31 or later.

Dave

---
Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory,
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA.
Phone: (650) 859-3291    Fax: (650) 859-2844   Email: dave_sc@csl.sri.com