1.1 --- a/src/Pure/PIDE/document.scala	Sat May 22 23:59:09 2010 +0200
     1.2 +++ b/src/Pure/PIDE/document.scala	Mon May 24 23:01:51 2010 +0200
     1.3 @@ -85,7 +85,7 @@
     1.4        commands.iterator.find(is_unparsed) match {
     1.5          case Some(first_unparsed) =>
     1.6            val first =
     1.7 -            commands.rev_iterator(first_unparsed).find(_.is_command) getOrElse commands.head
     1.8 +            commands.reverse_iterator(first_unparsed).find(_.is_command) getOrElse commands.head
     1.9            val last =
    1.10              commands.iterator(first_unparsed).find(_.is_command) getOrElse commands.last
    1.11            val range =