--- a/UserPreferences.st	Thu Jun 30 17:40:20 2011 +0200
+++ b/UserPreferences.st	Thu Jun 30 17:41:08 2011 +0200
@@ -634,18 +634,6 @@
     "Modified: / 02-11-2010 / 00:00:10 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing - history manager'!
-
-historyManagerAllowEditOfHistory
-    "useful if you have 'beginner students', to prevent them from changing the history"
-
-    ^self 
-        at: #'history-manager.allow-edit-of-history'
-        ifAbsentPut:false
-
-    "Modified (Format): / 30-06-2011 / 17:07:33 / cg"
-    "Modified (Comment): / 30-06-2011 / 17:09:24 / cg"
-! !
 
 !UserPreferences methodsFor:'accessing-misc-communication'!
 
@@ -3519,7 +3507,7 @@
 !UserPreferences class methodsFor:'documentation'!
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.276 2011-06-30 15:28:07 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.277 2011-06-30 15:41:08 cg Exp $'
 !
 
 version_SVN