NEWS
changeset 5731 f84dc3b811e9
parent 5726 5de7e399ec88
child 5781 d37380544c39
     1.1 --- a/NEWS	Thu Oct 22 20:11:19 1998 +0200
     1.2 +++ b/NEWS	Thu Oct 22 20:13:21 1998 +0200
     1.3 @@ -351,6 +351,12 @@
     1.4  
     1.5  * Display.print_goals function moved to Locale.print_goals;
     1.6  
     1.7 +* standard print function for goals supports current_goals_markers
     1.8 +variable for marking begin of proof, end of proof, start of goal; the
     1.9 +default is ("", "", ""); setting current_goals_markers := ("<proof>",
    1.10 +"</proof>", "<goal>") causes SGML like tagged proof state printing,
    1.11 +for example;
    1.12 +
    1.13  
    1.14  
    1.15  New in Isabelle98 (January 1998)