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
14 |
fnpolicy: FilenamePolicy.policy, |
fnpolicy: FilenamePolicy.policy, |
15 |
keep_going: bool, |
keep_going: bool, |
16 |
pervasive: GenericVC.Environment.environment, |
pervasive: GenericVC.Environment.environment, |
17 |
corenv: GenericVC.BareEnvironment.staticEnv } |
corenv: GenericVC.BareEnvironment.staticEnv, |
18 |
|
pervcorepids: PidSet.set } |
19 |
|
|
20 |
type info = { param: param, |
type info = { param: param, |
21 |
groupreg: GroupReg.groupreg, |
groupreg: GroupReg.groupreg, |
|
Legend:
Removed from v.326 |
|
changed lines |
|
Added in v.327 |
|
|