SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/main/general-params.sml
Diff of /sml/trunk/src/cm/main/general-params.sml
Parent Directory
|
Revision Log
|
Patch
12 |
type param = { primconf : Primitive.configuration, |
type param = { primconf : Primitive.configuration, |
13 |
pcmode : PathConfig.mode, |
pcmode : PathConfig.mode, |
14 |
fnpolicy: FilenamePolicy.policy, |
fnpolicy: FilenamePolicy.policy, |
15 |
|
symenv: SymVal.env, |
16 |
keep_going: bool, |
keep_going: bool, |
17 |
pervasive: GenericVC.Environment.environment, |
pervasive: GenericVC.Environment.environment, |
18 |
corenv: GenericVC.BareEnvironment.staticEnv, |
corenv: GenericVC.BareEnvironment.staticEnv, |
|
Legend:
Removed from v.335 |
|
changed lines |
|
Added in v.336 |
|
|