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

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

To: thompson_l021@xxxxxxxx
Subject: Re: [PVS-Help] 429: emacs: not found
From: Sam Owre <owre@xxxxxxxxxxx>
Date: Sun, 20 Nov 2011 20:26:45 -0800
Cc: pvs-help@xxxxxxxxxxx
Comments: In-reply-to Lee Thompson <lnthomp@gmail.com>message dated "Sun, 20 Nov 2011 21:03:03 -0600."
In-reply-to: <4EC9BF67.2080005@gmail.com>
List-Help: <mailto:pvs-help-request@csl.sri.com?subject=help>
List-Id: PVS-Help <pvs-help.csl.sri.com>
List-Post: <mailto:pvs-help@csl.sri.com>
List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=subscribe>
List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=unsubscribe>
References: <4EC9BF67.2080005@gmail.com>
Sender: pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx

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

References:
- [PVS-Help] 429: emacs: not found
  - From: Lee Thompson

Prev by Date: [PVS-Help] 429: emacs: not found
Next by Date: [PVS-Help] the problem "No methods applicable for generic function"
Prev by thread: [PVS-Help] 429: emacs: not found
Next by thread: [PVS-Help] dependent types in pvs
Index(es):
- Date
- Thread