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

ILISP interrupt



I frequently get this message as a result of an (apparently)
ill-formed command to the prover.  Is there any way to recover,
short of restarting?

John Doner