1.1 --- a/src/Pure/System/session.scala	Sun Aug 15 18:41:23 2010 +0200
     1.2 +++ b/src/Pure/System/session.scala	Sun Aug 15 19:30:11 2010 +0200
     1.3 @@ -49,7 +49,7 @@
     1.4    /* unique ids */
     1.5  
     1.6    private var id_count: Document.ID = 0
     1.7 -  def create_id(): Document.ID = synchronized {
     1.8 +  def new_id(): Document.ID = synchronized {
     1.9      require(id_count > java.lang.Long.MIN_VALUE)
    1.10      id_count -= 1
    1.11      id_count