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 504, Tue Dec 7 18:31:05 1999 UTC revision 505, Thu Dec 9 08:24:08 1999 UTC
# Line 13  Line 13 
13      datatype kind =      datatype kind =
14          NOLIB          NOLIB
15        | LIB of privileges               (* wrapped privileges *)        | LIB of privileges               (* wrapped privileges *)
16        | STABLELIB        | STABLELIB of unit -> unit       (* pickle dropper *)
17    
18      (* the "required" field includes everything:      (* the "required" field includes everything:
19       *   1. privileges required by subgroups       *   1. privileges required by subgroups

Legend:
Removed from v.504  
changed lines
  Added in v.505

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