src/Pure/library.scala

+/*  Title:      Pure/library.scala
+    Author:     Makarius
+
+Basic library.
+*/
+
+package isabelle
+
+import java.lang.System
+
+
+object Library
+{
+  /* timing */
+
+  def timeit[A](e: => A) =
+  {
+    val start = System.currentTimeMillis()
+    val result = Exn.capture(e)
+    val stop = System.currentTimeMillis()
+    System.err.println((stop - start) + "ms elapsed time")
+    Exn.release(result)
+  }
+}