NEWS
changeset 67993 271e2d84e7a3
parent 67928 7f5b1b6f7f40
child 67999 1b05f74f2e5f
     1.1 --- a/NEWS	Tue Apr 17 14:48:55 2018 +0200
     1.2 +++ b/NEWS	Tue Apr 17 15:34:58 2018 +0200
     1.3 @@ -118,6 +118,8 @@
     1.4  symbols remain in literal \<symbol> form. This avoids accidental loss of
     1.5  Unicode content when saving the file.
     1.6  
     1.7 +* Update to jedit-5.5.0, the latest release.
     1.8 +
     1.9  
    1.10  *** Isabelle/VSCode Prover IDE ***
    1.11