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/main/public-tools.sig
ViewVC logotype

Diff of /sml/trunk/src/cm/tools/main/public-tools.sig

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

revision 1894, Thu Feb 23 22:18:34 2006 UTC revision 1895, Fri Feb 24 22:23:53 2006 UTC
# Line 25  Line 25 
25      val registerStdShellCmdTool : { tool: string,      val registerStdShellCmdTool : { tool: string,
26                                      class: string,                                      class: string,
27                                      suffixes: string list,                                      suffixes: string list,
28                                      cmdStdPath: string,                                      cmdStdPath: unit -> string,
29                                      extensionStyle: extensionStyle,                                      extensionStyle: extensionStyle,
30                                      template: string option,                                      template: string option,
31                                      dflopts: toolopts } -> unit                                      dflopts: toolopts } -> unit
32    
33        (* make a bool control *)
34        val boolcontrol : string * string * bool ->
35                          { get: unit -> bool, set: bool -> unit }
36  end  end

Legend:
Removed from v.1894  
changed lines
  Added in v.1895

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