diff --git a/collects/mred/mred-sig.ss b/collects/mred/mred-sig.ss
index 7d35aee0..e30301d6 100644
--- a/collects/mred/mred-sig.ss
+++ b/collects/mred/mred-sig.ss
@@ -142,6 +142,7 @@
      readable-snip<%>
      read-editor-global-footer
      read-editor-global-header
+     read-editor-version
      region%
      register-collecting-blit
      scroll-event%
@@ -183,6 +184,7 @@
      window<%>
      write-editor-global-footer
      write-editor-global-header
+     write-editor-version
      write-resource
      yield
      )))
diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss
index 912e3cf9..f4b2b0c0 100644
--- a/collects/mred/mred.ss
+++ b/collects/mred/mred.ss
@@ -7661,6 +7661,7 @@
 	   ps-setup%
 	   read-editor-global-footer
 	   read-editor-global-header
+	   read-editor-version
 	   region%
 	   scroll-event%
 	   snip%
@@ -7677,6 +7678,7 @@
 	   tab-snip%
 	   write-editor-global-footer
 	   write-editor-global-header
+	   write-editor-version
 	   write-resource
 	   queue-callback
 	   yield
diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss
index d666c0b5..d1d9ed51 100644
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@@ -288,6 +288,8 @@
   (define-function write-editor-global-header)
   (define-function read-editor-global-footer)
   (define-function read-editor-global-header)
+  (define-function read-editor-version)
+  (define-function write-editor-version)
   (define-function set-editor-print-margin)
   (define-function get-editor-print-margin)
   (define-class bitmap% object% #f