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

Re: [PVS-Help] loading files, indentation

To work on the file foo.pvs directly, you can either use the standard
Emacs command C-x C-f foo.pvs, or the PVS specialization C-c C-f foo .

I don't know the answer to your question 2, but PVS provides commands
for prettyprinting the buffer (or region).   You can always undo if
you don't like how PVS does it, or keep it and make a few changes by hand.

John Rushby