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

Re: How to recover from a runaway proof attempt?



Type C-c C-c in the *pvs* proof buffer, then (restore)
and you'll be back where you were.

John
-------