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/branches/blume-private-devel/src/smlnj-lib/Controls/registry-sig.sml
ViewVC logotype

Diff of /sml/branches/blume-private-devel/src/smlnj-lib/Controls/registry-sig.sml

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

sml/trunk/src/smlnj-lib/Controls/registry-sig.sml revision 1199, Fri May 17 19:25:31 2002 UTC sml/branches/blume-private-devel/src/smlnj-lib/Controls/registry-sig.sml revision 1635, Tue Sep 28 17:12:31 2004 UTC
# Line 11  Line 11 
11    
12      type registry      type registry
13    
14        type control_info = { envName : string option }
15    
16      val new : {      val new : {
17              help : string       (* registry's description *)              help : string       (* registry's description *)
18            } -> registry            } -> registry
# Line 45  Line 47 
47      datatype registry_tree = RTree of {      datatype registry_tree = RTree of {
48          path : string list,          path : string list,
49          help : string,          help : string,
50          ctls : string Controls.control list,          ctls : { ctl : string Controls.control, info : control_info } list,
51          subregs : registry_tree list          subregs : registry_tree list
52        }        }
53    

Legend:
Removed from v.1199  
changed lines
  Added in v.1635

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