NEWS
changeset 61963 2548e7cc86fb
parent 61960 20c1321378db
child 61964 37a0cbee00c2
     1.1 --- a/NEWS	Tue Dec 29 19:11:23 2015 +0100
     1.2 +++ b/NEWS	Tue Dec 29 20:58:18 2015 +0100
     1.3 @@ -31,6 +31,18 @@
     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 +
    1.19  
    1.20  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.21