1.1 --- a/src/java/isac/browserdialog/TheoryDialog.java	Tue Jul 25 18:53:39 2006 +0200
     1.2 +++ b/src/java/isac/browserdialog/TheoryDialog.java	Tue Jul 25 19:13:37 2006 +0200
     1.3 @@ -73,8 +73,6 @@
     1.4  		context_type_ = ContextType.CONTEXT_THEORIES;
     1.5  		
     1.6  		hierarchy_ = loadHierarchy(context_type_);
     1.7 -		System.out.println("Theory hierarchy:");
     1.8 -		System.out.println(hierarchy_.toString());
     1.9  		current_context_ = new ContextUnknown();
    1.10  	}
    1.11