- Committer: Jean-Vincent Loddo
- Date: 2011-02-03 15:27:00 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20110203152700-pnwgzz94gj9qhqi3
Generalized UnixExtra.date: by default the local time is used but the user can choose gmt with the homonymous optional parameter.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
fix.ml |
88 | 15 years ago | jean | Interface for fix.ml | 2.5 KB |
|
|
|
fix.mli |
89 | 15 years ago | jean | Added interface for fix.mli | 986 bytes |
|
|
|
log_builder.ml |
227 | 13 years ago | Jean-Vincent Loddo | Imported some Log related features from marionnet. | 9.4 KB |
|
|
|
log_builder.mli |
228 | 13 years ago | Jean-Vincent Loddo | Added an example of usage of the new functor Log_b | 5.7 KB |
|
|
|
mrproper.ml |
170 | 13 years ago | Jean-Vincent Loddo | Mrproper documentation. | 3.7 KB |
|
|
|
mrproper.mli |
169 | 13 years ago | Jean-Vincent Loddo | Support for a local and functorized Mrproper struc | 1.1 KB |
|
|
|
sugar.ml |
208 | 13 years ago | Jean-Vincent Loddo | Moved option related code from Sugar to Option. | 2.6 KB |
|
|