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/cm-boot.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/cm-boot.sml

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

revision 755, Thu Dec 14 07:57:55 2000 UTC revision 756, Thu Dec 14 16:01:33 2000 UTC
# Line 1  Line 1 
1  (*  (*
2   * This is the module that actually puts together the contents of the   * This is the module that actually puts together the contents of the
3   * structure CM that people find in smlnj/cm/full.cm.  A "minimal" structure   * structure CM that people find in $smlnj/cm/full.cm.
  * CM is defined in CmHook, but it needs to be initialized at bootstrap  
  * time.  
4   *   *
5   *   Copyright (c) 1999 by Lucent Bell Laboratories   *   Copyright (c) 1999, 2000 by Lucent Bell Laboratories
6   *   *
7   * author: Matthias Blume (blume@cs.princeton.edu)   * author: Matthias Blume (blume@cs.princeton.edu)
8   *)   *)
# Line 683  Line 681 
681          val mk_standalone = mk_standalone          val mk_standalone = mk_standalone
682      end      end
683    
684      structure Tools = ToolsFn (val load_plugin = cwd_load_plugin      structure Tools = ToolsFn (val load_plugin' = load_plugin'
                                val load_plugin' = load_plugin'  
685                                 val penv = penv)                                 val penv = penv)
686    
687      val load_plugin = load_plugin      val load_plugin = load_plugin

Legend:
Removed from v.755  
changed lines
  Added in v.756

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