[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] PVS 3.2 Start-up Script
As described on p.61 of the User Guide, PVS loads ~/.pvsemacs after pvs
is loaded, so this is probably the right place to put (gnuserv-start).
Please let me know whether this works for you.
Carleton Coffrin <email@example.com> wrote:
> I would like execute the function "(gnuserv-start)" once PVS 3.2 is
> *completely* loaded. I have tried adding the command to my ".emacs" file
> but this was not sufficient for me because some additional PVS operations
> are still executing after gnuserv is started. My current workaround is to
> modify the PVS script to loaded a "foo.el" which executes the command,
> (progn (load-library "/home/carleton/pvs32/emacs/go-pvs.el")
> For now this is working great, but I am looking for a simpler, less invasive