src/Pure/PIDE/markup.scala

               Some((name, symbols, antiquotes, delimited))
             case _ => None
           }
         case _ => None
       }
+
+    object Path
+    {
+      def unapply(markup: Markup): Option[Boolean] =
+        markup match {
+          case Language(PATH, _, _, delimited) => Some(delimited)
+          case _ => None
+        }
+    }
   }
 
 
   /* external resources */