NEWS
changeset 61964 37a0cbee00c2
parent 61963 2548e7cc86fb
child 61969 e01015e49041
     1.1 --- a/NEWS	Tue Dec 29 20:58:18 2015 +0100
     1.2 +++ b/NEWS	Tue Dec 29 21:51:58 2015 +0100
     1.3 @@ -31,17 +31,8 @@
     1.4  remains available under print mode "ASCII", but less important syntax
     1.5  has been removed (see below).
     1.6  
     1.7 -* Support for arrows of various lengths, with rendering in LaTeX and
     1.8 -Isabelle fonts:
     1.9 -
    1.10 -  \<leftarrow>
    1.11 -  \<longleftarrow>
    1.12 -  \<longlongleftarrow>
    1.13 -  \<longlonglongleftarrow>
    1.14 -  \<rightarrow>
    1.15 -  \<longrightarrow>
    1.16 -  \<longlongrightarrow>
    1.17 -  \<longlonglongrightarrow>
    1.18 +* Support for more arrow symbols, with rendering in LaTeX and
    1.19 +Isabelle fonts: \<Lleftarrow> \<Rrightarrow> \<longlongleftarrow> \<longlongrightarrow> \<longlonglongleftarrow> \<longlonglongrightarrow>
    1.20  
    1.21  
    1.22  *** Prover IDE -- Isabelle/Scala/jEdit ***