NEWS
changeset 61955 e96292f32c3c
parent 61943 7fba644ed827
child 61958 0a5dd617a88c
     1.1 --- a/NEWS	Mon Dec 28 19:23:15 2015 +0100
     1.2 +++ b/NEWS	Mon Dec 28 21:47:32 2015 +0100
     1.3 @@ -375,6 +375,11 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Former "xsymbols" syntax with Isabelle symbols is used by default,
     1.8 +without any special print mode. Important ASCII replacement syntax
     1.9 +remains available under print mode "ASCII", but less important syntax
    1.10 +has been removed (see below).
    1.11 +
    1.12  * Combinator to represent case distinction on products is named "case_prod",
    1.13  uniformly, discontinuing any input aliasses.  Very popular theorem aliasses
    1.14  have been retained.