Index of /pub/dick

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] 00CONTENTS              23-Sep-2008 11:15  872   
[DIR] Algol68/                21-Oct-2005 09:59    -   
[DIR] LaTeXTools/             23-Aug-2007 13:16    -   
[DIR] MCD/                    21-Oct-2005 09:59    -   
[DIR] PLE/                    05-Aug-2002 13:37    -   
[DIR] PTAPG_1st_Edition/      21-Oct-2005 09:59    -   
[DIR] PTAPG_2nd_Edition/      09-Jan-2008 21:58    -   
[DIR] bindbook/               23-Aug-2007 13:18    -   
[DIR] cvs/                    23-Aug-2007 13:20    -   
[DIR] findeqf/                23-Aug-2007 13:21    -   
[DIR] magtape_handling/       23-Aug-2007 13:23    -   
[DIR] nlang/                  13-Jan-2008 12:46    -   
[DIR] outgoing/               25-Feb-2007 09:49    -   
[DIR] publications/           19-May-2007 10:15    -   
[DIR] similarity_tester/      23-Sep-2008 11:34    -   
[DIR] tartan/                 13-Sep-2004 16:34    -   
[DIR] utils/                  26-Dec-2007 17:02    -   
[DIR] vw_generator/           23-Aug-2007 13:25    -
Apache/2.0.63 (Unix) DAV/2 mod_python/3.3.1 Python/2.4.3 mod_wsgi/2.3 mod_ssl/2.0.63 OpenSSL/0.9.7d PHP/5.2.4 Server at www.cs.vu.nl Port 80