more careful treatment of multiple command states (eval + prints): merge content that is actually required;
more standard Markup_Tree merge, including trivial cases;
/* Title: Pure/package.scala
Module: PIDE
Author: Makarius
Toplevel isabelle package.
*/
package object isabelle extends isabelle.Basic_Library
{
}