diff options
| author | Hendrik Tews | 2011-04-06 06:52:45 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-04-06 06:52:45 +0000 |
| commit | d9f13df8b61eb6b7fb58d3c37a0e43fccb7226d6 (patch) | |
| tree | 8c9aa7150ffd494f102d3e91834b9239d42f7c7e /generic/proof-script.el | |
| parent | 5b3f191a9b989bd68bee27ce84aeeeb9fa1060fd (diff) | |
* disable file safe when switching to new buffers for coq
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions