diff options
| author | Thomas Kleymann | 1998-09-10 15:16:04 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-09-10 15:16:04 +0000 |
| commit | a35e263ca16deafc4f04c90adb9013f1e161419e (patch) | |
| tree | 7bd7374bd8f7e8a4e0c0d3da430e27144835d9cc /html | |
| 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 'html')
0 files changed, 0 insertions, 0 deletions
