src/Pure/name.scala

more robust jEdit Emacs Macros, based on patch #642 "bundled Emacs Macros are broken" (still open in jedit-5.7.0);

/*  Title:      Pure/name.scala
    Author:     Makarius

Items with formal name.
*/

package isabelle


object Name {
  trait T { def name: String }

  type Data[A] = Map[String, A]
}