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 1901, Tue Feb 28 03:18:52 2006 UTC revision 1902, Wed Mar 1 04:44:30 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: unit -> string,                                      cmdStdPath: unit -> string * string list,
29                                      extensionStyle: extensionStyle,                                      extensionStyle: extensionStyle,
30                                      template: string option,                                      template: string option,
31                                      dflopts: toolopts } -> unit                                      dflopts: toolopts } -> unit

Legend:
Removed from v.1901  
changed lines
  Added in v.1902

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