How to submit files to

To submit files to be included in, you could do one of three things

1) mail them to

2) use AFS and cd to /afs/ and you will be able to write directly into this directory.

3) submit your file via our HTML upload page.

Please contact if you have any questions or problems.