diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-12-14 13:44:14 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-12-14 13:44:14 +0000 |
commit | 6f92823397844051832a9e82c6e38005f2a2c62e (patch) | |
tree | 55792708b233d39758af42f1566d114687450b20 /doc/Makefile | |
parent | 61df75856fa282284a4805c9df2d0f81806c225d (diff) |
fixed bug in lego-shell-adjust-line-width (It now monitors the
proof-goals-buffer)
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions