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 354, Fri Jun 25 08:36:12 1999 UTC revision 358, Mon Jun 28 13:59:11 1999 UTC
# Line 14  Line 14 
14          NOLIB          NOLIB
15        | LIB of privileges               (* wrapped privileges *)        | LIB of privileges               (* wrapped privileges *)
16        | STABLELIB of DependencyGraph.bnode IntBinaryMap.map        | STABLELIB of DependencyGraph.bnode IntBinaryMap.map
17                                          (* stable library with bnodo map *)                                          (* stable library with bnode map *)
18    
19      (* the "required" field includes everything:      (* the "required" field includes everything:
20       *   1. privileges required by subgroups       *   1. privileges required by subgroups

Legend:
Removed from v.354  
changed lines
  Added in v.358

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