diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-06 17:08:57 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-06 17:08:57 +0100 |
| commit | a326ff399be1691643fe4bbbde4a27896b194e82 (patch) | |
| tree | d3ecab4defbf5c52b19f11dd3ec1272adb3c17f3 /coq/coq-smie.el | |
| parent | 5eff32433b3ae47d36f6acab87e7af0d273946d6 (diff) | |
Fixing #25.
proof-script-buffer was not set before calling proof-shell-ready-prover.
Diffstat (limited to 'coq/coq-smie.el')
0 files changed, 0 insertions, 0 deletions