diff options
| author | David Aspinall | 2008-02-17 12:40:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-17 12:40:38 +0000 |
| commit | ff4ddfb5b74ff81a6064a10d3265b2273bfca8e4 (patch) | |
| tree | 41e153c406d69de18d475f603057b3787263b834 /FAQ | |
| parent | d298c7e78504850850af3f282af12b790d3cbf8a (diff) | |
Add undo-depth setting and default it to 200, overriding Coq's 100 default.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions