# HG changeset patch # User wenzelm # Date 1585154302 -3600 # Node ID 263298eb68b252d05f5845f1d8dd6936d7ab12a4 # Parent 6db526adccacf943f28c302fe4f3772b56aa89bd more NEWS; diff -r 6db526adccac -r 263298eb68b2 NEWS --- a/NEWS Wed Mar 25 17:33:46 2020 +0100 +++ b/NEWS Wed Mar 25 17:38:22 2020 +0100 @@ -222,6 +222,9 @@ * Isabelle/Scala support for proof terms (with full type/term information) in module isabelle.Term. +* Isabelle/Scala: more scalable output of YXML files, e.g. relevant for +"isabelle dump". + * Theory export via Isabelle/Scala has been reworked. The former "fact" name space is now split into individual "thm" items: names are potentially indexed, such as "foo" for singleton facts, or "bar(1)",