diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2007-04-26 19:00:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2007-04-26 19:00:16 +0000 |
| commit | d02f3d432aafdc9fe05dd2b71b71978c0bd21f57 (patch) | |
| tree | b4182cf4eda03e49401187ab1162291acbbb53a5 /acl2/root2.acl2 | |
| parent | 4835077e41fd8651e84eb2add7c7e85f50c8a646 (diff) | |
Fixing auto shrink in coq three window mode, to avoid window
disappearing.
Diffstat (limited to 'acl2/root2.acl2')
0 files changed, 0 insertions, 0 deletions