[..] Parent folder

File Name Size Modified Date
auto.ml.gZ 550   23/10/2000 11:08
auto.mli.gZ 175   23/10/2000 11:07
determ.ml.gZ 928   23/10/2000 11:41
determ.mli.gZ 182   23/10/2000 11:35
ensent.ml.gZ 190   23/10/2000 11:33
ensent.mli 90   23/10/2000 11:08
expr.ml.gZ 791   23/10/2000 11:06
expr.mli.gZ 158   23/10/2000 10:18
fastgrep.ml.gZ 661   23/10/2000 12:13
fastrec.c.gZ 305   25/02/2002 11:17
fastrec.mli 68   23/10/2000 12:00
grep.ml.gZ 652   23/10/2000 12:13
loadall.ml.gZ 292   23/10/2000 11:52
makefast.gZ 178   23/10/2000 12:41
Makefile.gZ 761   25/02/2002 11:16

Total folders: 0
Total files: 15
Total size of all files: 5.981
Date generated: 21/09/2024 17:10