HistoryManager.st
branchjv
changeset 3078 3f5abbdcbde9
parent 3069 89d2cfee177f
child 3089 f03ce272ea4e
--- a/HistoryManager.st	Wed Sep 05 10:11:26 2012 +0100
+++ b/HistoryManager.st	Wed Sep 05 12:45:38 2012 +0100
@@ -366,6 +366,12 @@
     "Modified: 30.4.1996 / 10:57:35 / cg"
 ! !
 
+!HistoryManager class methodsFor:'others'!
+
+version_CVS
+    ^ '§Header: /cvs/stx/stx/libbasic3/HistoryManager.st,v 1.83 2012/07/31 12:31:47 vrany Exp §'
+! !
+
 !HistoryManager methodsFor:'accessing'!
 
 fullHistoryUpdate
@@ -1014,7 +1020,7 @@
 !
 
 version
-    ^ '$Id: HistoryManager.st 1946 2012-07-31 14:00:47Z vranyj1 $'
+    ^ '$Header: /cvs/stx/stx/libbasic3/HistoryManager.st,v 1.83 2012/07/31 12:31:47 vrany Exp $'
 ! !
 
 !HistoryManager::HistoryLine class methodsFor:'filtering'!
@@ -1709,15 +1715,11 @@
 !HistoryManager class methodsFor:'documentation'!
 
 version
-    ^ '$Id: HistoryManager.st 1946 2012-07-31 14:00:47Z vranyj1 $'
-!
-
-version_CVS
-    ^ '§Header: /cvs/stx/stx/libbasic3/HistoryManager.st,v 1.83 2012-07-31 13:31:47 +0100 vrany Exp §'
+    ^ '$Id: HistoryManager.st 1957 2012-09-05 11:45:38Z vranyj1 $'
 !
 
 version_SVN
-    ^ '$Id: HistoryManager.st 1946 2012-07-31 14:00:47Z vranyj1 $'
+    ^ '$Id: HistoryManager.st 1957 2012-09-05 11:45:38Z vranyj1 $'
 ! !
 
 HistoryManager initialize!