SCM Repository
Diff of /sml/trunk/src/cm/depend/ggraph.sml
Parent Directory
|
Revision Log
|
Patch
revision 306, Tue Jun 1 08:25:21 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 |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |