diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-09-10 15:16:04 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-09-10 15:16:04 +0000 |
commit | a35e263ca16deafc4f04c90adb9013f1e161419e (patch) | |
tree | 7bd7374bd8f7e8a4e0c0d3da430e27144835d9cc /images | |
parent | 98829bd6731bf61a6ef92893c563ed4c68e0fd12 (diff) |
-Added documentation
-Simplified code for setting faces
-Reimplimented `proof-shell-handle-error'
-Improved `proof-shell-filter'; it no longer removes the prompt
annotation
-The Shell no longer automatically scrolls to the end (or so I hope)
Diffstat (limited to 'images')
0 files changed, 0 insertions, 0 deletions