[isabelle-dev] NEWS

[Makarius]

* System: run-polyml-5.1 now uses PolyML.SaveState instead of linked 
  object-files (this is potentially more efficient).  INCOMPATIBILITY, 
  requires recent Poly/ML cvs version and recompilation of logic images.