From 4127858f8a0b0ea2ff47ba5e79ea5c6c0da6b437 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 26 Aug 1997 12:26:18 +0000 Subject: [PATCH] cleaned up original commit: d28c577f3df68344a6d3b98100191ec0d5eb553c --- man/man1/mred.1 | 39 +++++++++++++++++++++++++++++++-------- 1 file changed, 31 insertions(+), 8 deletions(-) diff --git a/man/man1/mred.1 b/man/man1/mred.1 index 978faa41..af95eff3 100644 --- a/man/man1/mred.1 +++ b/man/man1/mred.1 @@ -2,7 +2,7 @@ .TH MRED 1 "8 June 1996" .UC 4 .SH NAME -mred \- The Rice PLT GUI engine +mred \- The Rice PLT Scheme GUI engine .SH SYNOPSIS .B mred [-s @@ -37,7 +37,7 @@ mred \- The Rice PLT GUI engine ] .SH DESCRIPTION .I MrEd -is Rice University's Programming Languages Group's GUI +is the Rice University PLT Scheme GUI execution engine. .I MrEd runs on a variety of platforms. @@ -67,7 +67,7 @@ flag. See the Static Debugger and the Toolbox manuals for more information on Static Debugger conformancy and the -a flag respectively. .PP The -p flag specifies a splash screen filename. The splash screen must be -an image file supported by wx:bitmap% objects. See the mred manual for more +an image file supported by wx:bitmap% objects. See the Toolbox manual for more information on what image types are supported by wx:bitmap% objects. The second argument to -p names the splash screen, and the third is a count indicating how many files will be loaded. @@ -131,19 +131,42 @@ variable * "/usr/lib/mred/system" .PP -The standard system loads the core or the mzlib library, -using the following search path, setting the -require-library-collections-path to one of (in order of preference): +The standard system finds the +.I MrEd +collections directory and loads the +.I MrEd +library. The +I. MrEd +collections directory is +"../mred/collects" relative to the system's directory. + +The standard system also finds the +.I MzScheme +collection +directory and loads the core +.I MzLib +library. The +.I MzScheme +collection directory is found with +the following search path: .IP * "$PLTHOME/mzscheme/collects/standard" (if PLTHOME is not defined, /usr/local/lib/ is used as it's value). .IP -* "../mzscheme/collects/" +* "../mzscheme/collects/" relative to the system's directory .IP -* "../../mzscheme/collects/standard" +* "../../mzscheme/collects/standard" relative to the system's directory .IP .PP +The `require-library-collections-paths' parameter is set +to a list containing the +.I MzScheme +collections +directory and the +.I MrEd +collections directory. + .I MrEd also looks for Xresources in .IP