# HG changeset patch
# User wenzelm
# Date 1260567084 -3600
# Node ID ada58d8137835ffb41a8b88c8ef484a52d43d0ec
# Parent  ac232f834cf0cf4952a5bdfa7b065a74ee95f966
removed unique ids -- now in session.scala;

diff -r ac232f834cf0 -r ada58d813783 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Fri Dec 11 20:44:33 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala	Fri Dec 11 22:31:24 2009 +0100
@@ -48,13 +48,6 @@
 
 class Isabelle_System
 {
-  /** unique ids **/
-
-  private var id_count: BigInt = 0
-  def id(): String = synchronized { id_count += 1; "j" + id_count }
-
-
-
   /** Isabelle environment **/
 
   /* platform prefixes */