Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/main/general-params.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/general-params.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 335, Thu Jun 17 08:21:08 1999 UTC revision 336, Thu Jun 17 09:23:20 1999 UTC
# Line 12  Line 12 
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

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0