diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-15 12:56:44 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-15 12:56:44 +0000 |
| commit | c7b35f0f739b435fb4ef5c764fcb231cf0511539 (patch) | |
| tree | 3e2fb18fe9b4f259b9ee1c5cf17b4ccbff323cd4 /CHANGES | |
| parent | cae2087273f29dae2a2879454e31bb578d98f17e (diff) | |
Updated
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -18,7 +18,8 @@ rather than incrementally via script management, error messages may appear in the response buffer with file/line numbers. Proof General can now parse these messages to jump to the - location of the error. + location of the error. + [Currently implemented for: Isabelle] *** New more efficient and generalised parsing functions @@ -34,7 +35,9 @@ *** Makefile has new target "scripts" to adjust paths in bash/perl scripts -*** Bug fix: "next" button enabled more often. Solaris turns off enablers. +*** Bug fix: "next" button enabled more often. + +*** Solaris turns off toolbar enablers due to problems. *** Bug fix: first line ignored problem fixed for Coq and others. |