Magesh --- Can you confirm your PVS version and emacs version please. I think you mean PVS 2.1 patch level 2.417 - is that right? 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