*** empty log message ***
authorwenzelm
Wed Oct 03 20:58:27 2001 +0200 (2001-10-03)
changeset 1165703c4a5c08a79
parent 11656 e499dceca569
child 11658 4200394242c5
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Wed Oct 03 20:55:31 2001 +0200
     1.2 +++ b/NEWS	Wed Oct 03 20:58:27 2001 +0200
     1.3 @@ -27,6 +27,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* HOL: linorder_less_split superseded by linorder_cases;
     1.8 +
     1.9  * HOL: added "The" definite description operator; move Hilbert's "Eps"
    1.10  to peripheral theory "Hilbert_Choice";
    1.11  
    1.12 @@ -69,6 +71,8 @@
    1.13  * Classical reasoner: renamed addaltern to addafter, addSaltern to
    1.14  addSafter;
    1.15  
    1.16 +* syntax: support non-oriented infixes;
    1.17 +
    1.18  * print modes "type_brackets" and "no_type_brackets" control output of
    1.19  nested => (types); the default behavior is "brackets";
    1.20