drwxr-xr-x midas/midas 0 2014-06-25 11:06 ftp.cs.yorku.ca/ -rw-r--r-- midas/midas 235 2002-02-13 00:00 ftp.cs.yorku.ca/.welcome drwxr-xr-x midas/midas 0 2014-06-25 11:06 ftp.cs.yorku.ca/incoming/ drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/ drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/tech/ drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/tech/unix/ drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/tech/mac/ drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/tech/win/ drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wolfgang/ drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/tsotsos/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/hj/ -rw-r--r-- midas/midas 622601609 2013-05-16 00:00 ftp.cs.yorku.ca/pub/hj/CNN-Ossama.zip -rw-r--r-- midas/midas 49770081 2011-11-13 00:00 ftp.cs.yorku.ca/pub/hj/ForGeoffrey.zip -rw-r--r-- midas/midas 12329123 2012-08-30 00:00 ftp.cs.yorku.ca/pub/hj/ME-Slides.zip drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/ulya/ drwxr-xr-x midas/midas 0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/cs233089/ -rw-r--r-- midas/midas 55280557 2009-09-28 00:00 ftp.cs.yorku.ca/pub/cs233089/cs233089.tar.gz drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/ostroff/papers/ -rw-r--r-- midas/midas 156881 1997-06-19 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/survey.tex -rw-r--r-- midas/midas 431804 1995-04-11 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/survey.ps -rw-r--r-- midas/midas 334229 1994-09-13 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/cs.etr94.06.ps.Z -rw-r--r-- midas/midas 98212 1994-07-28 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/theories.dvi -rw-r--r-- midas/midas 747889 1994-04-18 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/theories.frm.ps.Z -rw-r--r-- midas/midas 599575 1994-09-13 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/cs.etr94.08.ps.Z -rw-r--r-- midas/midas 604135 1994-09-13 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/cs.etr94.07.ps.Z drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/ostroff/incoming/ drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/torah/ drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/tools/ -rw-r--r-- midas/midas 7294865 2001-04-25 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/stateclock.tar.Z -rw-r--r-- midas/midas 4174396 1996-10-30 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/StateClock_old.tar.Z -rw-r--r-- midas/midas 1414535 1999-05-20 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/ecase_point2.zip -rw-r--r-- midas/midas 87821 1994-10-12 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/verify.ps.Z -rw-r--r-- midas/midas 573165 1995-10-05 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/build.changes.Z -rw-r--r-- midas/midas 1947817 1995-10-05 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/build.im.Z -rw-r--r-- midas/midas 38433 1994-05-08 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/verify.tex -rwxr-xr-x midas/midas 1410659 1999-05-18 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/ecase_point.zip -rw-r--r-- midas/midas 216467 1994-05-08 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/verify251.tar.Z -rw-r--r-- midas/midas 125555 1994-05-08 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/verify31.tar.Z drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/papers.others/ -rw-r--r-- midas/midas 2580992 1999-07-26 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/light_present.ppt -r-xr-xr-x midas/midas 2216253 1994-10-12 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/gries1.ps.Z -r-xr-xr-x midas/midas 3921395 1994-10-12 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/gries3.ps.Z -r-xr-xr-x midas/midas 396423 1994-08-24 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/logic.sanders.ps.Z -r-xr-xr-x midas/midas 931787 1994-10-12 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/gries2.ps.Z -r-xr-xr-x midas/midas 78197 1994-10-31 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/lawford.cdc.ps.Z -r-xr-xr-x midas/midas 48677 1994-10-12 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/gries4.ps.Z -r-xr-xr-x midas/midas 86365 1994-10-03 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/logic.2090.ps.Z -rwxr-xr-x midas/midas 1484 1994-08-24 00:00 ftp.cs.yorku.ca/pub/ostroff/00README drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/ostroff/papers.2000/ -rwxr-xr-x midas/midas 567073 2000-01-06 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.2000/logicE_ens.ps.Z -rwxr-xr-x midas/midas 151530 2000-03-30 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.2000/ionescu.zip -rwxr-xr-x midas/midas 217545 2000-01-06 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.2000/logicE_ens.pdf drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/papers.98/ -rw-r--r-- midas/midas 1284085 1998-05-27 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.ps -rw-r--r-- midas/midas 112545 1998-07-23 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.txt -rw-r--r-- midas/midas 19584 1998-06-07 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/TempLog.TT.bin -rw-r--r-- midas/midas 477367 1998-05-27 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.ps.Z -rw-r--r-- midas/midas 1761681 1998-06-07 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.frame.mif -rw-r--r-- midas/midas 215074 1998-05-27 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.pdf -rw-r--r-- midas/midas 718848 1998-06-07 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.frame.bin drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/papers.96/ -rw-r--r-- midas/midas 1283481 1997-10-07 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.96/tosem3.ps -rw-r--r-- midas/midas 470397 1997-09-03 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.96/tosem3.ps.Z -rw-r--r-- midas/midas 193447 1997-09-03 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.96/tosem3.pdf drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/ostroff/papers.95/ -rw-r--r-- midas/midas 236547 1995-10-02 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.95/case95.extended.pdf drwxr-xr-x midas/midas 0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/eem/ drwxr-xr-x midas/midas 0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/eem/misc/ drwxr-xr-x midas/midas 0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/FlexOr/ -rw-r--r-- midas/midas 12488 1990-12-13 00:00 ftp.cs.yorku.ca/pub/FlexOr/GNU.GeneralPublicLicense -rw-r--r-- midas/midas 10308 1995-06-15 00:00 ftp.cs.yorku.ca/pub/FlexOr/FlexOr.InstallInstructions -rw-r--r-- midas/midas 1124 1994-07-15 00:00 ftp.cs.yorku.ca/pub/FlexOr/DIRECTORY.INDEX -rw-r--r-- midas/midas 1134 1994-07-15 00:00 ftp.cs.yorku.ca/pub/FlexOr/FlexOr.CopyrightNotice -rw-r--r-- midas/midas 586731 1996-03-21 00:00 ftp.cs.yorku.ca/pub/FlexOr/FlexOr.tar.Z drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/remtp/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/scan/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/tmp/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/ucat/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/htoms/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/talks/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/talks/tool-festival/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/etc/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/nlib/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/html-sourcebook/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/smtpd/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/pvm3/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/auth/ drwxr-xr-x midas/midas 0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/amana/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/minas/ drwxr-xr-x midas/midas 0 2014-06-25 11:06 ftp.cs.yorku.ca/pub/CANADIAN_IMAGE/ drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/matt/ drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/ drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/bin/ -rw-r--r-- midas/midas 201293 2003-01-23 00:00 ftp.cs.yorku.ca/pub/wily/bin/wily.gz drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/pkg/ -rw-r--r-- midas/midas 485974 2000-10-03 00:00 ftp.cs.yorku.ca/pub/wily/pkg/wily-0.13.41-1.src.rpm -rw-r--r-- midas/midas 226907 2002-03-05 00:00 ftp.cs.yorku.ca/pub/wily/pkg/9libs-1.0-1.src.rpm -rw-r--r-- midas/midas 318173 2002-03-05 00:00 ftp.cs.yorku.ca/pub/wily/pkg/wily-0.13.41-2.src.rpm -rw-r--r-- midas/midas 28666 2002-03-05 00:00 ftp.cs.yorku.ca/pub/wily/pkg/9libs-devel-1.0-1.i386.rpm -rw-r--r-- midas/midas 457608 2000-10-03 00:00 ftp.cs.yorku.ca/pub/wily/pkg/wily-0.13.41-1.i386.rpm -rw-r--r-- midas/midas 123967 2002-03-05 00:00 ftp.cs.yorku.ca/pub/wily/pkg/9libs-1.0-1.i386.rpm -rw-r--r-- midas/midas 386849 2002-03-05 00:00 ftp.cs.yorku.ca/pub/wily/pkg/wily-0.13.41-2.i386.rpm drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/ drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/MH/ -rw-r--r-- midas/midas 7320 1997-09-07 00:00 ftp.cs.yorku.ca/pub/wily/tools/MH/trost drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/python/ -rw-r--r-- midas/midas 11116 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/wilymodule.c drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/python/mail/ -rw-r--r-- midas/midas 308 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/mail/deliver -rw-r--r-- midas/midas 663 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/mail/uid.py -rw-r--r-- midas/midas 1025 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/mail/subject -rw-r--r-- midas/midas 1941 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/mail/reply -rw-r--r-- midas/midas 249 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/mail/README -rw-r--r-- midas/midas 258 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/wedit.py -rw-r--r-- midas/midas 182 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/README -rw-r--r-- midas/midas 1068 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/wilywin.py -rw-r--r-- midas/midas 4794 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/win.c drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/perl/ -rw-r--r-- midas/midas 3482 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/perl/defs -rw-r--r-- midas/midas 85 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/perl/README -rw-r--r-- midas/midas 31456 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/perl/perl-0.03.tar.gz -rw-r--r-- midas/midas 53610 1998-06-16 00:00 ftp.cs.yorku.ca/pub/wily/tools/perl/perl-0.06.tgz drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/quanstro/ -rw-r--r-- midas/midas 1446 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/wread.c -rw-r--r-- midas/midas 2463 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/wcat.c -rw-r--r-- midas/midas 354 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/Makefile -rw-r--r-- midas/midas 1492 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/wattach.c -rw-r--r-- midas/midas 644 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/windows.c -rw-r--r-- midas/midas 2070 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/wreplace.c drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/shell/ -rw-r--r-- midas/midas 4884 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/macros.tgz -rw-r--r-- midas/midas 1486 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/macros.README -rw-r--r-- midas/midas 434 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/multipipe.rc -rw-r--r-- midas/midas 3153 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/html.tgz -rw-r--r-- midas/midas 175 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/multipipe.README -rw-r--r-- midas/midas 1282 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/html.README drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/Tcl/ -rw-r--r-- midas/midas 10232 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wily.c -rw-r--r-- midas/midas 281 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wattach -rw-r--r-- midas/midas 506 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/Makefile -rw-r--r-- midas/midas 530 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wtk.c -rw-r--r-- midas/midas 195 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wnew -rw-r--r-- midas/midas 1752 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/README -rw-r--r-- midas/midas 203 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wname -rw-r--r-- midas/midas 205 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wtools -rw-r--r-- midas/midas 460 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wtcl.c -rw-r--r-- midas/midas 337 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wtktest -rw-r--r-- midas/midas 155 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wlist -rw-r--r-- midas/midas 111 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wtcl.h -rw-r--r-- midas/midas 439 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/README drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/ -rw-r--r-- midas/midas 576 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/Wins.c -rw-r--r-- midas/midas 444 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/Makefile -rw-r--r-- midas/midas 518 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/README -rw-r--r-- midas/midas 830 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/Wgoto.c -rw-r--r-- midas/midas 680 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/Wexec.c -rw-r--r-- midas/midas 445 2003-02-13 00:00 ftp.cs.yorku.ca/pub/wily/README drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/misc/ -rw-r--r-- midas/midas 1147674 2003-02-12 00:00 ftp.cs.yorku.ca/pub/wily/misc/libXg.utf.fonts.tar.gz -rw-r--r-- midas/midas 26298 2003-05-08 00:00 ftp.cs.yorku.ca/pub/wily/misc/utftools-1.6.tar.gz -rw-r--r-- midas/midas 55099 2003-05-08 00:00 ftp.cs.yorku.ca/pub/wily/misc/libutf-2.10.tar.gz -rw-r--r-- midas/midas 162717 2003-02-12 00:00 ftp.cs.yorku.ca/pub/wily/misc/tcs.shar.gz drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/src/ -rw-r--r-- midas/midas 405046 2006-04-06 00:00 ftp.cs.yorku.ca/pub/wily/src/9libs-1.0.1.tar.gz -rw-r--r-- midas/midas 487783 2006-04-06 00:00 ftp.cs.yorku.ca/pub/wily/src/wily-0.13.42.tar.gz -rw-r--r-- midas/midas 305 1999-08-24 00:00 ftp.cs.yorku.ca/pub/wily/src/README -rw-r--r-- midas/midas 171211 2006-04-06 00:00 ftp.cs.yorku.ca/pub/wily/src/wily-9libs-0.13.42.tar.gz -rw-r--r-- midas/midas 46595 2006-04-06 00:00 ftp.cs.yorku.ca/pub/wily/src/ChangeLog drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/src/old/ -rw-r--r-- midas/midas 200016 1999-08-21 00:00 ftp.cs.yorku.ca/pub/wily/src/old/9libs-1.0.tar.gz -rw-r--r-- midas/midas 314283 2000-05-02 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wily-0.13.33.tgz -rw-r--r-- midas/midas 263434 2000-05-02 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wily-0.12.11.tgz -rw-r--r-- midas/midas 6023 2003-02-03 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wilytools.tgz -rw-r--r-- midas/midas 483429 1998-06-16 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wily-0.13.41.tgz -rw-r--r-- midas/midas 273602 2000-05-02 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wily-0.9.8.tgz -rw-r--r-- midas/midas 125247 1999-08-21 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wily-9libs.tar.gz -rw-r--r-- midas/midas 3130 2006-04-06 00:00 ftp.cs.yorku.ca/pub/wily/src/changes_0-13-42.txt drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/joseph/ drwxr-xr-x midas/midas 0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/franck/ -rw-r--r-- midas/midas 9165332 2007-08-08 00:00 ftp.cs.yorku.ca/pub/franck/qapl07.tar.gz drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/imagemagick/ -rw-r--r-- midas/midas 1190 2004-12-17 00:00 ftp.cs.yorku.ca/pub/imagemagick/test.png drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/neo/ -rw-r--r-- midas/midas 1589 2003-11-12 00:00 ftp.cs.yorku.ca/pub/neo/ReadMe.txt -rw-r--r-- midas/midas 4194304 2003-11-12 00:00 ftp.cs.yorku.ca/pub/neo/NeoLib_421.bin drwxr-xr-x midas/midas 0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/jenkin/ drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/ -rw-rw-r-- midas/midas 2535386 1997-08-08 00:00 ftp.cs.yorku.ca/pub/peter/memex-for-mac.sea -rw-r--r-- midas/midas 125312 2003-06-10 00:00 ftp.cs.yorku.ca/pub/peter/elizakit.sea.bin -rw-r--r-- midas/midas 78855 2003-06-10 00:00 ftp.cs.yorku.ca/pub/peter/elizakit.exe -rw-rw-r-- midas/midas 2566343 1997-08-08 00:00 ftp.cs.yorku.ca/pub/peter/memex-for-pc.zip drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/SVT/ drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/SVT/SOLARIS/ -rw-r--r-- midas/midas 1920 1999-02-15 00:00 ftp.cs.yorku.ca/pub/peter/SVT/getTheories.prolog -rw-r--r-- midas/midas 2880 1999-02-15 00:00 ftp.cs.yorku.ca/pub/peter/SVT/operators.prolog drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/SVT/GNU/ -rw-r--r-- midas/midas 5595 2002-12-05 00:00 ftp.cs.yorku.ca/pub/peter/SVT/GNU/wang.pl -rw-r--r-- midas/midas 660 2004-05-18 00:00 ftp.cs.yorku.ca/pub/peter/SVT/GNU/README -rw-r--r-- midas/midas 3306 2002-11-04 00:00 ftp.cs.yorku.ca/pub/peter/SVT/GNU/tautology.pl -rw-r--r-- midas/midas 12158 2003-05-15 00:00 ftp.cs.yorku.ca/pub/peter/SVT/GNU/simp.prolog drwxr-xr-x midas/midas 0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/peter/SVT/SWI/ -rwxr-xr-x midas/midas 112764 2006-08-01 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/wang -rw-r--r-- midas/midas 13333 2006-12-25 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/simp.pl -rwxr-xr-x midas/midas 106559 2007-01-09 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/tautology -rw-r--r-- midas/midas 20154 2007-03-11 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/symbex.pl -rw-r--r-- midas/midas 4623 2000-06-04 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/wang.pl -rw-r--r-- midas/midas 1802 2007-02-15 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/prover.pl -rw-r--r-- midas/midas 12629 2007-02-13 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/induction.pl -rw-r--r-- midas/midas 991 2006-08-01 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/README -rw-r--r-- midas/midas 3161 2006-07-31 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/tautology.pl -rwxr-xr-x midas/midas 134046 2007-02-13 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/induction -rw-r--r-- midas/midas 11942 2007-09-20 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/wp.pl -rw-r--r-- midas/midas 1761 2007-02-25 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/simplify.pl -rw-r--r-- midas/midas 3429 2002-07-29 00:00 ftp.cs.yorku.ca/pub/peter/SVT/tautology.prolog -rw-r--r-- midas/midas 58 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/stack.simp -rw-r--r-- midas/midas 4335 2002-07-29 00:00 ftp.cs.yorku.ca/pub/peter/SVT/wang.prolog -rw-r--r-- midas/midas 2732 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/prover.prolog -rw-r--r-- midas/midas 1227 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/equality.simp -rw-r--r-- midas/midas 651 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/logic.simp -rw-r--r-- midas/midas 2820 2002-07-29 00:00 ftp.cs.yorku.ca/pub/peter/SVT/clean.prolog drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/SVT/OpenProlog/ -rw-r--r-- midas/midas 2243 1999-04-04 00:00 ftp.cs.yorku.ca/pub/peter/SVT/OpenProlog/tautology.prolog -rw-r--r-- midas/midas 3935 1999-04-04 00:00 ftp.cs.yorku.ca/pub/peter/SVT/OpenProlog/wang.prolog -rw-r--r-- midas/midas 513 1999-04-04 00:00 ftp.cs.yorku.ca/pub/peter/SVT/OpenProlog/README -rw-r--r-- midas/midas 327 2002-07-29 00:00 ftp.cs.yorku.ca/pub/peter/SVT/README -rw-r--r-- midas/midas 477 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/forth.simp -rw-r--r-- midas/midas 240 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/array.simp -rw-r--r-- midas/midas 1020 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/arithmetic.simp drwxr-xr-x midas/midas 0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/SVT/OSX/ -rw-r--r-- midas/midas 943520 2004-05-19 00:00 ftp.cs.yorku.ca/pub/peter/SVT/OSX/wang -rw-r--r-- midas/midas 935216 2004-05-19 00:00 ftp.cs.yorku.ca/pub/peter/SVT/OSX/tautology -rw-r--r-- midas/midas 1765 1999-02-07 00:00 ftp.cs.yorku.ca/pub/peter/SVT/simplify.prolog