Parent Directory | Revision Log | Patch
revision 1.26 by spiralvoice, Fri May 13 21:15:46 2005 UTC | revision 1.27 by spiralvoice, Thu Aug 4 21:45:24 2005 UTC | |
---|---|---|
# | Line 88 type chunks = | Line 88 type chunks = |
88 | type verification = | type verification = |
89 | NoVerification | NoVerification |
90 | | VerificationNotAvailable | | VerificationNotAvailable |
91 | | ForceVerification | |
92 | | Verification of uid_type array | | Verification of uid_type array |
93 | ||
94 | module type Maker = functor (M : CommonEnv) -> sig | module type Maker = functor (M : CommonEnv) -> sig |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |