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

Diff of /sml/trunk/src/cm/tools/tools.sml

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

revision 320, Tue Jun 8 07:42:11 1999 UTC revision 321, Tue Jun 8 08:14:28 1999 UTC
# Line 291  Line 291 
291    
292      type cmdGetterSetter = string option -> string      type cmdGetterSetter = string option -> string
293    
294      fun newCmdGetterSetter sp = EnvConfig.new SOME sp      fun newCmdGetterSetter sp = EnvConfig.getSet (EnvConfig.new SOME sp)
295    
296      fun registerStdShellCmdTool arg = let      fun registerStdShellCmdTool arg = let
297          val { tool, class, suffixes, command, extensionStyle, sml } = arg          val { tool, class, suffixes, command, extensionStyle, sml } = arg

Legend:
Removed from v.320  
changed lines
  Added in v.321

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