# HG changeset patch
# User wenzelm
# Date 1313244446 -7200
# Node ID 49501dc1a7b8569c98da95bee5846f5efd331894
# Parent  1de22a7b2a82de15a45e88826cb153124a139714
reduced verbosity;

diff -r 1de22a7b2a82 -r 49501dc1a7b8 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Sat Aug 13 16:04:28 2011 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sat Aug 13 16:07:26 2011 +0200
@@ -47,8 +47,6 @@
     if (_state.isEmpty) {
       import scala.collection.JavaConversions._
 
-      System.err.println("### Isabelle system initialization")
-
       val standard_system = new Standard_System
       val settings =
       {