diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2011-05-25 07:23:04 +0000 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2011-05-25 07:23:04 +0000 |
| commit | b5435ab945710dd067b96ff2e25c3d058c11f831 (patch) | |
| tree | 43bfa80d5801c716cced458e18b257a7e05e5dc1 /generic/proof-script.el | |
| parent | d020f9c42ad658b05d669e10aef03f43e1605a98 (diff) | |
- two fixes for coq-debug-auto-compilation
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions