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

Diff of /sml/trunk/src/cm/depend/ggraph.sml

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

revision 305, Mon May 31 15:00:06 1999 UTC revision 307, Tue Jun 1 09:38:28 1999 UTC
# Line 12  Line 12 
12    
13      datatype stableinfo =      datatype stableinfo =
14          NONSTABLE of privileges         (* granted privileges *)          NONSTABLE of privileges         (* granted privileges *)
15        | STABLE of BinInfo.info IntBinaryMap.map        | STABLE of DependencyGraph.bnode IntBinaryMap.map
16    
17      (* the "required" field includes everything:      (* the "required" field includes everything:
18       *   1. privileges required by subgroups       *   1. privileges required by subgroups

Legend:
Removed from v.305  
changed lines
  Added in v.307

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