SCM Repository
Diff of /sml/trunk/src/cm/main/general-params.sml
Parent Directory
|
Revision Log
|
Patch
revision 299, Thu May 27 13:53:27 1999 UTC | revision 301, Fri May 28 09:43:39 1999 UTC | |
---|---|---|
# | Line 11 | Line 11 |
11 | ||
12 | type param = { primconf : Primitive.configuration, | type param = { primconf : Primitive.configuration, |
13 | fnpolicy: FilenamePolicy.policy, | fnpolicy: FilenamePolicy.policy, |
groupreg: GroupReg.groupreg, | ||
14 | keep_going: bool, | keep_going: bool, |
15 | pervasive: GenericVC.Environment.environment, | pervasive: GenericVC.Environment.environment, |
16 | corenv: GenericVC.BareEnvironment.staticEnv } | corenv: GenericVC.BareEnvironment.staticEnv } |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |