Rename (and invert) *pp-really-pretty?* to *pp-save-vertical-space?*

diff --git a/v7/src/runtime/runtime.pkg b/v7/src/runtime/runtime.pkg
index f715ea5987682096d8d3b0bdd0f434897bdf4303..305eb2a50334d34d2c8bea803fe02478441c0133 100644 (file)
--- a/v7/src/runtime/runtime.pkg
+++ b/v7/src/runtime/runtime.pkg
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/runtime/runtime.pkg,v 14.115 1991/08/16 15:41:38 jinx Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/runtime/runtime.pkg,v 14.116 1991/08/16 18:46:42 jinx Exp $
 
 Copyright (c) 1988-91 Massachusetts Institute of Technology
 
@@ -1465,13 +1465,13 @@ MIT in each case. |#
   (files "pp")
   (parent ())
   (export ()
+         *pp-forced-x-size*
+         *pp-lists-as-tables?*
          *pp-named-lambda->define?*
+         *pp-no-highlights?*
          *pp-primitives-by-name*
+         *pp-save-vertical-space?*
          *pp-uninterned-symbols-by-name*
-         *pp-no-highlights?*
-         *pp-really-pretty?*
-         *pp-lists-as-tables?*
-         *pp-forced-x-size*
          make-pretty-printer-highlight
          pp
          pretty-print)

diff --git a/v8/src/runtime/runtime.pkg b/v8/src/runtime/runtime.pkg
index 1bbbcc699c3d2afece0667fe638690108d7a12df..848241cbd9ec673c683badba67d64f18496bd46c 100644 (file)
--- a/v8/src/runtime/runtime.pkg
+++ b/v8/src/runtime/runtime.pkg
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/runtime/runtime.pkg,v 14.115 1991/08/16 15:41:38 jinx Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v8/src/runtime/runtime.pkg,v 14.116 1991/08/16 18:46:42 jinx Exp $
 
 Copyright (c) 1988-91 Massachusetts Institute of Technology
 
@@ -1465,13 +1465,13 @@ MIT in each case. |#
   (files "pp")
   (parent ())
   (export ()
+         *pp-forced-x-size*
+         *pp-lists-as-tables?*
          *pp-named-lambda->define?*
+         *pp-no-highlights?*
          *pp-primitives-by-name*
+         *pp-save-vertical-space?*
          *pp-uninterned-symbols-by-name*
-         *pp-no-highlights?*
-         *pp-really-pretty?*
-         *pp-lists-as-tables?*
-         *pp-forced-x-size*
          make-pretty-printer-highlight
          pp
          pretty-print)