NEWS
changeset 56591 1a59587f46ec
parent 56580 f253c4948a97
child 56598 2cc2cb56cbdd
     1.1 --- a/NEWS	Tue Apr 15 16:44:06 2014 +0200
     1.2 +++ b/NEWS	Tue Apr 15 19:11:34 2014 +0200
     1.3 @@ -22,8 +22,7 @@
     1.4  
     1.5  * Lexical syntax (inner and outer) supports text cartouches with
     1.6  arbitrary nesting, and without escapes of quotes etc.  The Prover IDE
     1.7 -supports input methods via ` (backquote), or << and >> (double angle
     1.8 -brackets).
     1.9 +supports input via ` (backquote).
    1.10  
    1.11  * The outer syntax categories "text" (for formal comments and document
    1.12  markup commands) and "altstring" (for literal fact references) allow