Anonymous FTP area (deprecated)
This server used to serve files published by Computer Laboratory Researchers in the 1980s and 1990s. Most of this material has since moved to the departmental web site, where it is linked from the pages of individual research groups and people.
- Plain text file describing access to the archive (ftp, WWW)
- Departmental Technical Reports
- Other papers
- pub misc files
- ATM Docs 1994/3
- ATM Docs 1995/10
- hol – sources for the HOL system
- hvg – info-hol archive material and contributed software for HOL
- ml – Isabelle group archive material
- nltools – Alvey Natural Language Toolkit (license required)
- ESPRIT
- IEEE-TSC-ECCS
- a2x-voice
- acpi
- acquilex – Multilingual lexicon project
- ild
The following appear not to be available as of September 2002:
- opera
- pegasus – operating system support for distributed interactive multimedia (ATM, Nemesis) and its data: measuredata and fairdata
- arm
Comments to webmaster@cl.cam.ac.uk