From c7b35f0f739b435fb4ef5c764fcb231cf0511539 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 15 Jun 2000 12:56:44 +0000 Subject: Updated --- CHANGES | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 99d2969e..8cb35f51 100644 --- a/CHANGES +++ b/CHANGES @@ -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. -- cgit v1.2.3