*** empty log message ***
original commit: aca96bf9455ba8870e51e72ffcc71ab3ac090e37
This commit is contained in:
parent
c82a59c1e5
commit
9ac720b229
|
@ -118,8 +118,7 @@ search path:
|
|||
* the search path defined by the MREDSYS system evironment
|
||||
variable
|
||||
.IP
|
||||
* In PLTHOME/mred/system where PLTHOME is replaced with the value of the
|
||||
PLTHOME environment variable.
|
||||
* "$PLTHOME/mred/system"
|
||||
.IP
|
||||
* "/usr/local/lib/plt/mred/system"
|
||||
.IP
|
||||
|
@ -130,19 +129,17 @@ PLTHOME environment variable.
|
|||
* "/usr/lib/mred/system"
|
||||
.PP
|
||||
|
||||
The standard system loads in the core or the mzlib library,
|
||||
using the following search path:
|
||||
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):
|
||||
.IP
|
||||
* "../mzlib"
|
||||
* "$PLTHOME/mzscheme/collects/standard" (if PLTHOME is not defined,
|
||||
/usr/local/lib/ is used as it's value).
|
||||
.IP
|
||||
* "../mzscheme/mzlib"
|
||||
* "../mzscheme/collects/"
|
||||
.IP
|
||||
* "../../mzscheme/mzlib"
|
||||
* "../../mzscheme/collects/standard"
|
||||
.IP
|
||||
* "PLTHOME/mzscheme/mzlib", where "PLTHOME" is replaced
|
||||
with the value of the PLTHOME environment variable.
|
||||
If the environment variable is undefined,
|
||||
"/usr/local/lib/plt/" is used
|
||||
.PP
|
||||
|
||||
.I MrEd
|
||||
|
|
Loading…
Reference in New Issue
Block a user