| Name | # Files | Name | # Files | Name | # Files | ||
|---|---|---|---|---|---|---|---|
| GIML | 85 | MOSMLLIB | 59 | MOSMLMAN | 86 | ||
| MOSMLREF | 69 | OCAMLMAN | 67 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| INDEX.HTM | Hypertext Markup Language File | 138 | 5KB | 1997-08-05 |
| ML_FAQ.HTM | Hypertext Markup Language File | 1,336 | 58KB | 1997-06-23 |
| MLFUNCS.HTM | Hypertext Markup Language File | 227 | 10KB | 1997-04-14 |
| MLSYNTAX.HTM | Hypertext Markup Language File | 343 | 21KB | 1997-04-15 |