SCM Repository
Diff of /sml/trunk/src/smlnj-lib/Controls/controls-lib.cm
Parent Directory
|
Revision Log
|
Patch
revision 1145, Fri Mar 15 02:30:53 2002 UTC | revision 1193, Thu May 16 18:44:04 2002 UTC | |
---|---|---|
# | Line 1 | Line 1 |
1 | (* controls-lib.cm | (* controls-lib.cm |
* An implementation of "controls" -- representing environment-configurable | ||
* global state (flags, options, ...) of a program. | ||
2 | * | * |
3 | * COPYRIGHT (c) 2002 Lucent Technologies, Bell Laboratories | * COPYRIGHT (c) 2002 Lucent Technologies, Bell Laboratories |
4 | * | * |
5 | * An implementation of "controls" -- representing environment-configurable | |
6 | * global state (flags, options, ...) of a program. | |
7 | * | |
8 | * author: Matthias Blume | * author: Matthias Blume |
9 | *) | *) |
10 | ||
11 | Library | Library |
12 | ||
13 | signature CONTROLS | signature CONTROLS |
14 | structure Controls | structure Controls |
15 | signature CONTROL_SET | |
16 | structure ControlSet | |
17 | signature CONTROL_REGISTRY | |
18 | structure ControlRegistry | |
19 | ||
20 | is | is |
controls.sig | ||
controls.sml | ||
21 | ||
22 | $/smlnj-lib.cm | #if defined(NEW_CM) |
23 | $/basis.cm | $/basis.cm |
24 | $/smlnj-lib.cm | |
25 | #else | |
26 | ../Util/smlnj-lib.cm | |
27 | #endif | |
28 | ||
29 | control-reps.sml | |
30 | controls-sig.sml | |
31 | controls.sml | |
32 | control-set-sig.sml | |
33 | control-set.sml | |
34 | registry-sig.sml | |
35 | registry.sml | |
36 |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |