download all originals (max 500 MB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| auto.ml | Text File | 50 | 1.6 KB | 1995-06-01 |
| auto.mli | Text File | 10 | 212 b | 1995-06-01 |
| determ.ml | Text File | 71 | 2.1 KB | 1995-06-01 |
| determ.mli | Text File | 10 | 224 b | 1995-06-01 |
| ensent.ml | Text File | 14 | 338 b | 1995-06-01 |
| ensent.mli | Text File | 5 | 91 b | 1995-06-01 |
| expr.ml | Text File | 62 | 1.9 KB | 1995-06-01 |
| expr.mli | Text File | 9 | 172 b | 1995-06-01 |
| fastgrep.ml | Text File | 55 | 1.5 KB | 1995-06-01 |
| fastrec.c | C/C++ Source or Header | 20 | 495 b | 1995-06-01 |
| fastrec.mli | Text File | 3 | 68 b | 1995-06-01 |
| grep.ml | Text File | 55 | 1.5 KB | 1995-06-01 |
| loadall.ml | Text File | 18 | 429 b | 1995-06-01 |
| Makefile | Makefile | 30 | 740 b | 1995-07-05 |