diff options
author | Makarius Wenzel <makarius@sketis.net> | 2009-11-30 22:56:40 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2009-11-30 22:56:40 +0000 |
commit | bfba9bfb0c7af789f62b77b7814b730e6d628661 (patch) | |
tree | 15d7a834768b52e60af19e8a25b61c1b9305e445 /generic/proof-autoloads.el | |
parent | ad439a7a91f06c3eadde4d345412e3a449eb1a20 (diff) |
even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast* machine;
Diffstat (limited to 'generic/proof-autoloads.el')
0 files changed, 0 insertions, 0 deletions