NEWS
changeset 69277 258bef08b31e
parent 69273 e86d8cb40610
child 69282 94fa3376ba33
equal deleted inserted replaced
69276:3d954183b707 69277:258bef08b31e
    24 
    24 
    25 * Improved sub-pixel font rendering (especially on Linux), thanks to
    25 * Improved sub-pixel font rendering (especially on Linux), thanks to
    26 OpenJDK 11.
    26 OpenJDK 11.
    27 
    27 
    28 * Support for user-defined file-formats via class isabelle.File_Format
    28 * Support for user-defined file-formats via class isabelle.File_Format
    29 in Isabelle/Scala (e.g. see isabelle.Bibtex.File_Format). It is
    29 in Isabelle/Scala (e.g. see isabelle.Bibtex.File_Format), configured via
    30 configured via the shell function "isabelle_file_format" in
    30 the shell function "isabelle_file_format" in etc/settings (e.g. of an
    31 etc/settings, e.g. of an Isabelle component.
    31 Isabelle component).
    32 
    32 
    33 
    33 
    34 *** Isar ***
    34 *** Isar ***
    35 
    35 
    36 * More robust treatment of structural errors: begin/end blocks take
    36 * More robust treatment of structural errors: begin/end blocks take
   114   |> writeln
   114   |> writeln
   115 \<close>
   115 \<close>
   116 
   116 
   117 
   117 
   118 *** System ***
   118 *** System ***
       
   119 
       
   120 * Support for Isabelle command-line tools defined in Isabelle/Scala.
       
   121 Instances of class Isabelle_Scala_Tools may be configured via the shell
       
   122 function "isabelle_scala_tools" in etc/settings (e.g. of an Isabelle
       
   123 component).
   119 
   124 
   120 * Session directory $ISABELLE_HOME/src/Tools/Haskell provides some
   125 * Session directory $ISABELLE_HOME/src/Tools/Haskell provides some
   121 source modules for Isabelle tools implemented in Haskell, notably for
   126 source modules for Isabelle tools implemented in Haskell, notably for
   122 Isabelle/PIDE.
   127 Isabelle/PIDE.
   123 
   128