diff options
| author | Thomas Kleymann | 1998-12-14 13:44:14 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-12-14 13:44:14 +0000 |
| commit | 6f92823397844051832a9e82c6e38005f2a2c62e (patch) | |
| tree | 55792708b233d39758af42f1566d114687450b20 /html | |
| parent | 61df75856fa282284a4805c9df2d0f81806c225d (diff) | |
fixed bug in lego-shell-adjust-line-width (It now monitors the
proof-goals-buffer)
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions