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