NEWS
changeset 62451 040b94ffbdde
parent 62440 31fa592761da
child 62453 b93cc7d73431
     1.1 --- a/NEWS	Sun Feb 28 15:34:50 2016 +0100
     1.2 +++ b/NEWS	Sun Feb 28 15:43:56 2016 +0100
     1.3 @@ -182,6 +182,10 @@
     1.4  executables are found within the PATH: isabelle, isabelle_process,
     1.5  isabelle_scala_script.
     1.6  
     1.7 +* The somewhat pointless command-line tool "isabelle yxml" has been
     1.8 +discontinued. INCOMPATIBILITY, use operations from the modules "XML" and
     1.9 +"YXML" in Isabelle/ML or Isabelle/Scala.
    1.10 +
    1.11  * SML/NJ is no longer supported.
    1.12  
    1.13