src/Pure/PIDE/document.scala
changeset 56394 bbf4d512f395
parent 56393 22f533e6a049
child 56398 15d0821c8667
     1.1 --- a/src/Pure/PIDE/document.scala	Thu Apr 03 20:53:35 2014 +0200
     1.2 +++ b/src/Pure/PIDE/document.scala	Thu Apr 03 21:08:00 2014 +0200
     1.3 @@ -317,17 +317,15 @@
     1.4    {
     1.5      val init: Version = new Version()
     1.6  
     1.7 -    def make(syntax: Prover.Syntax, nodes: Nodes): Version =
     1.8 +    def make(syntax: Option[Prover.Syntax], nodes: Nodes): Version =
     1.9        new Version(Document_ID.make(), syntax, nodes)
    1.10    }
    1.11  
    1.12    final class Version private(
    1.13      val id: Document_ID.Version = Document_ID.none,
    1.14 -    val syntax: Prover.Syntax = Prover.Syntax.empty,
    1.15 +    val syntax: Option[Prover.Syntax] = None,
    1.16      val nodes: Nodes = Nodes.empty)
    1.17    {
    1.18 -    def is_init: Boolean = id == Document_ID.none
    1.19 -
    1.20      override def toString: String = "Version(" + id + ")"
    1.21    }
    1.22