more robust bash interpolation;

more ambitious scalac options for makedist;

less noisy Isabelle/Scala build process;

comment;

tuned;

tuned;

maintain generic context naming in structure Name_Space (NB: empty = default_naming, init = local_naming); more explicit Context.generic for Name_Space.declare/define and derivatives (NB: naming changed after Proof_Context.init_global); prefer Context.pretty in low-level operations of structure Sorts/Type (defer full Syntax.init_pretty until error output); simplified signatures;

tuned;

tuned structure;

comments for uniformity