diff options
| author | Clément Pit--Claudel | 2016-06-10 17:15:29 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel | 2016-06-10 17:37:01 -0400 |
| commit | 493211dbd924520e6842f3e5d7c8fd1b3cbf1485 (patch) | |
| tree | c2128f9a2cf99714038a17522bc9ae4aa13a057b /doc/ProofGeneral.texi | |
| parent | b4ed3cf3ce09c397115e7f75372245724410a187 (diff) | |
Reset proof-script-buffer to nil if -ready-prover fails
Fixes #65
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions