Don't enter debugger if no current proof + Interrupt fixes #480
jfehrleAnnotations
1 error
|
Windows (64)
Process completed with exit code 1.
|