changeset 4178 | e64ff1c1bc70 |
parent 4174 | 0a3556e5d6ed |
child 4189 | b8c7a6bc6c16 |
--- a/NEWS Wed Nov 05 19:40:50 1997 +0100 +++ b/NEWS Thu Nov 06 10:28:20 1997 +0100 @@ -50,6 +50,8 @@ * improved output of warnings (###) / errors (***); +* subgoal_tac displays a warning if the new subgoal has type variables; + * removed old README and Makefiles; * replaced print_goals_ref hook by print_current_goals_fn and result_error_fn;