From 949a30f0bd59e3b23f4fa90d559fd17042eb42ee Mon Sep 17 00:00:00 2001 From: "Guillermo J. Rozas" Date: Fri, 16 Aug 1991 18:46:42 +0000 Subject: [PATCH] Rename (and invert) *pp-really-pretty?* to *pp-save-vertical-space?* --- v7/src/runtime/runtime.pkg | 10 +++++----- v8/src/runtime/runtime.pkg | 10 +++++----- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/v7/src/runtime/runtime.pkg b/v7/src/runtime/runtime.pkg index f715ea598..305eb2a50 100644 --- 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 1bbbcc699..848241cbd 100644 --- 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) -- 2.25.1