--- a/extensions.st	Tue Feb 04 21:01:56 2014 +0100
+++ b/extensions.st	Wed Apr 01 10:37:40 2015 +0100
@@ -23,7 +23,17 @@
     "Created: / 03-04-2012 / 17:58:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!ExecutableFunction methodsFor:'queries'!
+
+isMocked
+    "Return true, if the method has been mocked (by means of MessageTracer>>mockMethod:do:"
+
+    ^ false
+
+    "Created: / 29-07-2014 / 09:48:20 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+! !
+
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerAllowEditOfHistory
     "useful if you have 'beginner students', to prevent them from changing the history"
@@ -36,7 +46,7 @@
     "Modified (Comment): / 30-06-2011 / 17:09:24 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerModificationLimit
     "the time-delta within which the history manager does not treat a change as a new one"
@@ -49,7 +59,7 @@
     "Modified (Comment): / 30-06-2011 / 17:25:09 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerModificationLimit: sec
     "the time-delta within which the history manager does not treat a change as a new one"
@@ -62,7 +72,7 @@
     "Modified (Comment): / 30-06-2011 / 17:25:13 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerSignature
     "the signature added by the history manager"
@@ -76,7 +86,7 @@
     "Modified: / 04-08-2011 / 17:24:21 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerSignature: aString
     "the signature added by the history manager"
@@ -89,7 +99,7 @@
     "Modified (Comment): / 30-06-2011 / 17:25:31 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerSignatures
     "the signatures added by the history manager"
@@ -107,7 +117,7 @@
     "Modified (Comment): / 30-06-2011 / 17:27:14 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerSignatures: aDictionary
     "the signatures added by the history manager"
@@ -152,7 +162,7 @@
 
 !stx_libbasic3 class methodsFor:'documentation'!
 
-extensionsVersion_HG
+extensionsVersion_CVS
+    ^ '$Header: /cvs/stx/stx/libbasic3/extensions.st,v 1.17 2014-07-29 09:15:10 vrany Exp $'
+! !
 
-    ^ '$Changeset: <not expanded> $'
-! !