Index of /mirror/archive/ftp.sunet.se/pub/databases/deductive/coral/doc

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[DIR]old/1995-07-16 02:09 -
[PS]Inside.ps1996-11-19 05:57 177K
[   ]Interface1996-05-13 20:04 24K
[   ]Interface.swo1998-05-28 18:46 4.0K
[   ]Interface.swp1998-05-28 18:46 0
[   ]Interfacf.swp1998-05-28 18:46 0
[TXT]README1994-10-03 13:11 7.8K
[   ]README.swp1998-05-28 18:46 16K
[PS]bupeval.survey.ps1994-01-23 00:00 303K
[PS]coral.impl.ps1993-04-20 02:00 228K
[PS]coral.lang.old.ps1994-01-18 00:00 344K
[PS]coral.lang.ps1992-11-27 00:00 217K
[PS]coral.ps1994-01-18 00:00 754K
[ARC]coraldocs.tar.gz1994-01-23 00:00 1.5M
[PS]coralpp.ps1993-06-08 02:00 512K
[PS]explain.ps1993-09-24 02:00 506K
[PS]magic.ps1994-10-03 14:40 353K
[PS]manual.ps1995-03-17 00:00 588K
[ARC]manual.tex.tar.gz1995-02-21 00:00 263K
[PS]mimsy.ps1993-10-07 00:00 354K
[PS]mimsy.thesis.ps1994-11-04 10:22 1.4M
[PS]ngopt.ps1994-01-23 00:00 194K
[PS]ordsearch.ps1994-01-23 00:00 186K
[PS]parallelism.ps1994-05-31 12:02 547K
[PS]relevance.ps1994-01-23 00:00 219K
[PS]ruleord.ps1993-11-25 00:00 861K
[PS]tdvsbup.ps1994-01-23 00:00 220K
[PS]temp.ps.att1994-11-21 16:23 918K
[PS]template.ps1994-10-03 14:40 221K

Apache/2.4.54 (Unix) Server at mirror.accum.se Port 443