clarified undefined, unparsed, unfinished command spans;
common reparse_spans, diff_commands;
some support for consolidate_spans after change of perspective;
/* Title: Pure/package.scala
Module: PIDE
Author: Makarius
Toplevel isabelle package.
*/
package object isabelle extends isabelle.Basic_Library
{
}