search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
135 stars 32 forks source link

PVS fails to close #56

Closed ivanperez-keera closed 1 year ago

ivanperez-keera commented 5 years ago

When I try to close PVS 6.0 (the interactive, emacs version) with C-c C-x, it asks if I want to close PVS, and if I say yes (y), it goes into some sort of endless loop. I can interrupt this with C-g, and request it again, but it won't behave differently.

samowre commented 5 years ago

Hi Ivan,

Which OS system and version of Emacs are you running?

Thanks, Sam

Ivan Perez notifications@github.com wrote:

When I try to close PVS 6.0 (the interactive, emacs version) with C-c C-x, it asks if I want to close PVS, and if I say yes (y), it goes into some sort of endless loop. I can interrupt this with C-g, and request it again, but it won't behave differently.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

ivanperez-keera commented 5 years ago

I'm using Emacs 25.2.2, and Ubuntu 18.04 LTS.