home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.yorku.ca 2014 / 2014.06.ftp.cs.yorku.ca.tar.txt < prev   
Text File  |  2014-01-01  |  22KB  |  235 lines
  1. drwxr-xr-x midas/midas       0 2014-06-25 11:06 ftp.cs.yorku.ca/
  2. -rw-r--r-- midas/midas     235 2002-02-13 00:00 ftp.cs.yorku.ca/.welcome
  3. drwxr-xr-x midas/midas       0 2014-06-25 11:06 ftp.cs.yorku.ca/incoming/
  4. drwxr-xr-x midas/midas       0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/
  5. drwxr-xr-x midas/midas       0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/tech/
  6. drwxr-xr-x midas/midas       0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/tech/unix/
  7. drwxr-xr-x midas/midas       0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/tech/mac/
  8. drwxr-xr-x midas/midas       0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/tech/win/
  9. drwxr-xr-x midas/midas       0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wolfgang/
  10. drwxr-xr-x midas/midas       0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/tsotsos/
  11. drwxr-xr-x midas/midas       0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/hj/
  12. -rw-r--r-- midas/midas 622601609 2013-05-16 00:00 ftp.cs.yorku.ca/pub/hj/CNN-Ossama.zip
  13. -rw-r--r-- midas/midas  49770081 2011-11-13 00:00 ftp.cs.yorku.ca/pub/hj/ForGeoffrey.zip
  14. -rw-r--r-- midas/midas  12329123 2012-08-30 00:00 ftp.cs.yorku.ca/pub/hj/ME-Slides.zip
  15. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/ulya/
  16. drwxr-xr-x midas/midas         0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/cs233089/
  17. -rw-r--r-- midas/midas  55280557 2009-09-28 00:00 ftp.cs.yorku.ca/pub/cs233089/cs233089.tar.gz
  18. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/
  19. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/ostroff/papers/
  20. -rw-r--r-- midas/midas    156881 1997-06-19 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/survey.tex
  21. -rw-r--r-- midas/midas    431804 1995-04-11 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/survey.ps
  22. -rw-r--r-- midas/midas    334229 1994-09-13 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/cs.etr94.06.ps.Z
  23. -rw-r--r-- midas/midas     98212 1994-07-28 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/theories.dvi
  24. -rw-r--r-- midas/midas    747889 1994-04-18 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/theories.frm.ps.Z
  25. -rw-r--r-- midas/midas    599575 1994-09-13 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/cs.etr94.08.ps.Z
  26. -rw-r--r-- midas/midas    604135 1994-09-13 00:00 ftp.cs.yorku.ca/pub/ostroff/papers/cs.etr94.07.ps.Z
  27. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/ostroff/incoming/
  28. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/torah/
  29. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/tools/
  30. -rw-r--r-- midas/midas   7294865 2001-04-25 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/stateclock.tar.Z
  31. -rw-r--r-- midas/midas   4174396 1996-10-30 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/StateClock_old.tar.Z
  32. -rw-r--r-- midas/midas   1414535 1999-05-20 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/ecase_point2.zip
  33. -rw-r--r-- midas/midas     87821 1994-10-12 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/verify.ps.Z
  34. -rw-r--r-- midas/midas    573165 1995-10-05 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/build.changes.Z
  35. -rw-r--r-- midas/midas   1947817 1995-10-05 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/build.im.Z
  36. -rw-r--r-- midas/midas     38433 1994-05-08 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/verify.tex
  37. -rwxr-xr-x midas/midas   1410659 1999-05-18 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/ecase_point.zip
  38. -rw-r--r-- midas/midas    216467 1994-05-08 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/verify251.tar.Z
  39. -rw-r--r-- midas/midas    125555 1994-05-08 00:00 ftp.cs.yorku.ca/pub/ostroff/tools/verify31.tar.Z
  40. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/papers.others/
  41. -rw-r--r-- midas/midas   2580992 1999-07-26 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/light_present.ppt
  42. -r-xr-xr-x midas/midas   2216253 1994-10-12 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/gries1.ps.Z
  43. -r-xr-xr-x midas/midas   3921395 1994-10-12 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/gries3.ps.Z
  44. -r-xr-xr-x midas/midas    396423 1994-08-24 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/logic.sanders.ps.Z
  45. -r-xr-xr-x midas/midas    931787 1994-10-12 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/gries2.ps.Z
  46. -r-xr-xr-x midas/midas     78197 1994-10-31 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/lawford.cdc.ps.Z
  47. -r-xr-xr-x midas/midas     48677 1994-10-12 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/gries4.ps.Z
  48. -r-xr-xr-x midas/midas     86365 1994-10-03 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.others/logic.2090.ps.Z
  49. -rwxr-xr-x midas/midas      1484 1994-08-24 00:00 ftp.cs.yorku.ca/pub/ostroff/00README
  50. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/ostroff/papers.2000/
  51. -rwxr-xr-x midas/midas    567073 2000-01-06 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.2000/logicE_ens.ps.Z
  52. -rwxr-xr-x midas/midas    151530 2000-03-30 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.2000/ionescu.zip
  53. -rwxr-xr-x midas/midas    217545 2000-01-06 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.2000/logicE_ens.pdf
  54. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/papers.98/
  55. -rw-r--r-- midas/midas   1284085 1998-05-27 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.ps
  56. -rw-r--r-- midas/midas    112545 1998-07-23 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.txt
  57. -rw-r--r-- midas/midas     19584 1998-06-07 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/TempLog.TT.bin
  58. -rw-r--r-- midas/midas    477367 1998-05-27 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.ps.Z
  59. -rw-r--r-- midas/midas   1761681 1998-06-07 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.frame.mif
  60. -rw-r--r-- midas/midas    215074 1998-05-27 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.pdf
  61. -rw-r--r-- midas/midas    718848 1998-06-07 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.98/tose4.frame.bin
  62. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/ostroff/papers.96/
  63. -rw-r--r-- midas/midas   1283481 1997-10-07 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.96/tosem3.ps
  64. -rw-r--r-- midas/midas    470397 1997-09-03 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.96/tosem3.ps.Z
  65. -rw-r--r-- midas/midas    193447 1997-09-03 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.96/tosem3.pdf
  66. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/ostroff/papers.95/
  67. -rw-r--r-- midas/midas    236547 1995-10-02 00:00 ftp.cs.yorku.ca/pub/ostroff/papers.95/case95.extended.pdf
  68. drwxr-xr-x midas/midas         0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/eem/
  69. drwxr-xr-x midas/midas         0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/eem/misc/
  70. drwxr-xr-x midas/midas         0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/FlexOr/
  71. -rw-r--r-- midas/midas     12488 1990-12-13 00:00 ftp.cs.yorku.ca/pub/FlexOr/GNU.GeneralPublicLicense
  72. -rw-r--r-- midas/midas     10308 1995-06-15 00:00 ftp.cs.yorku.ca/pub/FlexOr/FlexOr.InstallInstructions
  73. -rw-r--r-- midas/midas      1124 1994-07-15 00:00 ftp.cs.yorku.ca/pub/FlexOr/DIRECTORY.INDEX
  74. -rw-r--r-- midas/midas      1134 1994-07-15 00:00 ftp.cs.yorku.ca/pub/FlexOr/FlexOr.CopyrightNotice
  75. -rw-r--r-- midas/midas    586731 1996-03-21 00:00 ftp.cs.yorku.ca/pub/FlexOr/FlexOr.tar.Z
  76. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/
  77. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/remtp/
  78. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/scan/
  79. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/tmp/
  80. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/ucat/
  81. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/htoms/
  82. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/talks/
  83. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/talks/tool-festival/
  84. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/etc/
  85. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/nlib/
  86. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/html-sourcebook/
  87. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/smtpd/
  88. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/pvm3/
  89. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/norman/auth/
  90. drwxr-xr-x midas/midas         0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/amana/
  91. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/minas/
  92. drwxr-xr-x midas/midas         0 2014-06-25 11:06 ftp.cs.yorku.ca/pub/CANADIAN_IMAGE/
  93. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/matt/
  94. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/
  95. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/bin/
  96. -rw-r--r-- midas/midas    201293 2003-01-23 00:00 ftp.cs.yorku.ca/pub/wily/bin/wily.gz
  97. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/pkg/
  98. -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
  99. -rw-r--r-- midas/midas    226907 2002-03-05 00:00 ftp.cs.yorku.ca/pub/wily/pkg/9libs-1.0-1.src.rpm
  100. -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
  101. -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
  102. -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
  103. -rw-r--r-- midas/midas    123967 2002-03-05 00:00 ftp.cs.yorku.ca/pub/wily/pkg/9libs-1.0-1.i386.rpm
  104. -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
  105. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/
  106. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/MH/
  107. -rw-r--r-- midas/midas      7320 1997-09-07 00:00 ftp.cs.yorku.ca/pub/wily/tools/MH/trost
  108. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/python/
  109. -rw-r--r-- midas/midas     11116 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/wilymodule.c
  110. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/python/mail/
  111. -rw-r--r-- midas/midas       308 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/mail/deliver
  112. -rw-r--r-- midas/midas       663 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/mail/uid.py
  113. -rw-r--r-- midas/midas      1025 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/mail/subject
  114. -rw-r--r-- midas/midas      1941 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/mail/reply
  115. -rw-r--r-- midas/midas       249 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/mail/README
  116. -rw-r--r-- midas/midas       258 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/wedit.py
  117. -rw-r--r-- midas/midas       182 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/README
  118. -rw-r--r-- midas/midas      1068 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/python/wilywin.py
  119. -rw-r--r-- midas/midas      4794 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/win.c
  120. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/perl/
  121. -rw-r--r-- midas/midas      3482 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/perl/defs
  122. -rw-r--r-- midas/midas        85 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/perl/README
  123. -rw-r--r-- midas/midas     31456 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/perl/perl-0.03.tar.gz
  124. -rw-r--r-- midas/midas     53610 1998-06-16 00:00 ftp.cs.yorku.ca/pub/wily/tools/perl/perl-0.06.tgz
  125. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/quanstro/
  126. -rw-r--r-- midas/midas      1446 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/wread.c
  127. -rw-r--r-- midas/midas      2463 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/wcat.c
  128. -rw-r--r-- midas/midas       354 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/Makefile
  129. -rw-r--r-- midas/midas      1492 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/wattach.c
  130. -rw-r--r-- midas/midas       644 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/windows.c
  131. -rw-r--r-- midas/midas      2070 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/quanstro/wreplace.c
  132. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/shell/
  133. -rw-r--r-- midas/midas      4884 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/macros.tgz
  134. -rw-r--r-- midas/midas      1486 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/macros.README
  135. -rw-r--r-- midas/midas       434 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/multipipe.rc
  136. -rw-r--r-- midas/midas      3153 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/html.tgz
  137. -rw-r--r-- midas/midas       175 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/multipipe.README
  138. -rw-r--r-- midas/midas      1282 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell/html.README
  139. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/Tcl/
  140. -rw-r--r-- midas/midas     10232 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wily.c
  141. -rw-r--r-- midas/midas       281 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wattach
  142. -rw-r--r-- midas/midas       506 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/Makefile
  143. -rw-r--r-- midas/midas       530 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wtk.c
  144. -rw-r--r-- midas/midas       195 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wnew
  145. -rw-r--r-- midas/midas      1752 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/README
  146. -rw-r--r-- midas/midas       203 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wname
  147. -rw-r--r-- midas/midas       205 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wtools
  148. -rw-r--r-- midas/midas       460 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wtcl.c
  149. -rw-r--r-- midas/midas       337 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wtktest
  150. -rw-r--r-- midas/midas       155 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wlist
  151. -rw-r--r-- midas/midas       111 1997-04-23 00:00 ftp.cs.yorku.ca/pub/wily/tools/Tcl/wtcl.h
  152. -rw-r--r-- midas/midas       439 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/README
  153. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/
  154. -rw-r--r-- midas/midas       576 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/Wins.c
  155. -rw-r--r-- midas/midas       444 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/Makefile
  156. -rw-r--r-- midas/midas       518 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/README
  157. -rw-r--r-- midas/midas       830 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/Wgoto.c
  158. -rw-r--r-- midas/midas       680 1997-08-10 00:00 ftp.cs.yorku.ca/pub/wily/tools/shell_wrap/Wexec.c
  159. -rw-r--r-- midas/midas       445 2003-02-13 00:00 ftp.cs.yorku.ca/pub/wily/README
  160. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/misc/
  161. -rw-r--r-- midas/midas   1147674 2003-02-12 00:00 ftp.cs.yorku.ca/pub/wily/misc/libXg.utf.fonts.tar.gz
  162. -rw-r--r-- midas/midas     26298 2003-05-08 00:00 ftp.cs.yorku.ca/pub/wily/misc/utftools-1.6.tar.gz
  163. -rw-r--r-- midas/midas     55099 2003-05-08 00:00 ftp.cs.yorku.ca/pub/wily/misc/libutf-2.10.tar.gz
  164. -rw-r--r-- midas/midas    162717 2003-02-12 00:00 ftp.cs.yorku.ca/pub/wily/misc/tcs.shar.gz
  165. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/src/
  166. -rw-r--r-- midas/midas    405046 2006-04-06 00:00 ftp.cs.yorku.ca/pub/wily/src/9libs-1.0.1.tar.gz
  167. -rw-r--r-- midas/midas    487783 2006-04-06 00:00 ftp.cs.yorku.ca/pub/wily/src/wily-0.13.42.tar.gz
  168. -rw-r--r-- midas/midas       305 1999-08-24 00:00 ftp.cs.yorku.ca/pub/wily/src/README
  169. -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
  170. -rw-r--r-- midas/midas     46595 2006-04-06 00:00 ftp.cs.yorku.ca/pub/wily/src/ChangeLog
  171. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/wily/src/old/
  172. -rw-r--r-- midas/midas    200016 1999-08-21 00:00 ftp.cs.yorku.ca/pub/wily/src/old/9libs-1.0.tar.gz
  173. -rw-r--r-- midas/midas    314283 2000-05-02 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wily-0.13.33.tgz
  174. -rw-r--r-- midas/midas    263434 2000-05-02 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wily-0.12.11.tgz
  175. -rw-r--r-- midas/midas      6023 2003-02-03 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wilytools.tgz
  176. -rw-r--r-- midas/midas    483429 1998-06-16 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wily-0.13.41.tgz
  177. -rw-r--r-- midas/midas    273602 2000-05-02 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wily-0.9.8.tgz
  178. -rw-r--r-- midas/midas    125247 1999-08-21 00:00 ftp.cs.yorku.ca/pub/wily/src/old/wily-9libs.tar.gz
  179. -rw-r--r-- midas/midas      3130 2006-04-06 00:00 ftp.cs.yorku.ca/pub/wily/src/changes_0-13-42.txt
  180. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/joseph/
  181. drwxr-xr-x midas/midas         0 2014-06-25 11:07 ftp.cs.yorku.ca/pub/franck/
  182. -rw-r--r-- midas/midas   9165332 2007-08-08 00:00 ftp.cs.yorku.ca/pub/franck/qapl07.tar.gz
  183. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/imagemagick/
  184. -rw-r--r-- midas/midas      1190 2004-12-17 00:00 ftp.cs.yorku.ca/pub/imagemagick/test.png
  185. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/neo/
  186. -rw-r--r-- midas/midas      1589 2003-11-12 00:00 ftp.cs.yorku.ca/pub/neo/ReadMe.txt
  187. -rw-r--r-- midas/midas   4194304 2003-11-12 00:00 ftp.cs.yorku.ca/pub/neo/NeoLib_421.bin
  188. drwxr-xr-x midas/midas         0 2014-06-25 11:08 ftp.cs.yorku.ca/pub/jenkin/
  189. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/
  190. -rw-rw-r-- midas/midas   2535386 1997-08-08 00:00 ftp.cs.yorku.ca/pub/peter/memex-for-mac.sea
  191. -rw-r--r-- midas/midas    125312 2003-06-10 00:00 ftp.cs.yorku.ca/pub/peter/elizakit.sea.bin
  192. -rw-r--r-- midas/midas     78855 2003-06-10 00:00 ftp.cs.yorku.ca/pub/peter/elizakit.exe
  193. -rw-rw-r-- midas/midas   2566343 1997-08-08 00:00 ftp.cs.yorku.ca/pub/peter/memex-for-pc.zip
  194. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/SVT/
  195. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/SVT/SOLARIS/
  196. -rw-r--r-- midas/midas      1920 1999-02-15 00:00 ftp.cs.yorku.ca/pub/peter/SVT/getTheories.prolog
  197. -rw-r--r-- midas/midas      2880 1999-02-15 00:00 ftp.cs.yorku.ca/pub/peter/SVT/operators.prolog
  198. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/SVT/GNU/
  199. -rw-r--r-- midas/midas      5595 2002-12-05 00:00 ftp.cs.yorku.ca/pub/peter/SVT/GNU/wang.pl
  200. -rw-r--r-- midas/midas       660 2004-05-18 00:00 ftp.cs.yorku.ca/pub/peter/SVT/GNU/README
  201. -rw-r--r-- midas/midas      3306 2002-11-04 00:00 ftp.cs.yorku.ca/pub/peter/SVT/GNU/tautology.pl
  202. -rw-r--r-- midas/midas     12158 2003-05-15 00:00 ftp.cs.yorku.ca/pub/peter/SVT/GNU/simp.prolog
  203. drwxr-xr-x midas/midas         0 2014-06-25 11:10 ftp.cs.yorku.ca/pub/peter/SVT/SWI/
  204. -rwxr-xr-x midas/midas    112764 2006-08-01 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/wang
  205. -rw-r--r-- midas/midas     13333 2006-12-25 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/simp.pl
  206. -rwxr-xr-x midas/midas    106559 2007-01-09 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/tautology
  207. -rw-r--r-- midas/midas     20154 2007-03-11 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/symbex.pl
  208. -rw-r--r-- midas/midas      4623 2000-06-04 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/wang.pl
  209. -rw-r--r-- midas/midas      1802 2007-02-15 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/prover.pl
  210. -rw-r--r-- midas/midas     12629 2007-02-13 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/induction.pl
  211. -rw-r--r-- midas/midas       991 2006-08-01 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/README
  212. -rw-r--r-- midas/midas      3161 2006-07-31 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/tautology.pl
  213. -rwxr-xr-x midas/midas    134046 2007-02-13 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/induction
  214. -rw-r--r-- midas/midas     11942 2007-09-20 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/wp.pl
  215. -rw-r--r-- midas/midas      1761 2007-02-25 00:00 ftp.cs.yorku.ca/pub/peter/SVT/SWI/simplify.pl
  216. -rw-r--r-- midas/midas      3429 2002-07-29 00:00 ftp.cs.yorku.ca/pub/peter/SVT/tautology.prolog
  217. -rw-r--r-- midas/midas        58 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/stack.simp
  218. -rw-r--r-- midas/midas      4335 2002-07-29 00:00 ftp.cs.yorku.ca/pub/peter/SVT/wang.prolog
  219. -rw-r--r-- midas/midas      2732 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/prover.prolog
  220. -rw-r--r-- midas/midas      1227 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/equality.simp
  221. -rw-r--r-- midas/midas       651 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/logic.simp
  222. -rw-r--r-- midas/midas      2820 2002-07-29 00:00 ftp.cs.yorku.ca/pub/peter/SVT/clean.prolog
  223. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/SVT/OpenProlog/
  224. -rw-r--r-- midas/midas      2243 1999-04-04 00:00 ftp.cs.yorku.ca/pub/peter/SVT/OpenProlog/tautology.prolog
  225. -rw-r--r-- midas/midas      3935 1999-04-04 00:00 ftp.cs.yorku.ca/pub/peter/SVT/OpenProlog/wang.prolog
  226. -rw-r--r-- midas/midas       513 1999-04-04 00:00 ftp.cs.yorku.ca/pub/peter/SVT/OpenProlog/README
  227. -rw-r--r-- midas/midas       327 2002-07-29 00:00 ftp.cs.yorku.ca/pub/peter/SVT/README
  228. -rw-r--r-- midas/midas       477 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/forth.simp
  229. -rw-r--r-- midas/midas       240 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/array.simp
  230. -rw-r--r-- midas/midas      1020 2000-01-24 00:00 ftp.cs.yorku.ca/pub/peter/SVT/arithmetic.simp
  231. drwxr-xr-x midas/midas         0 2014-06-25 11:09 ftp.cs.yorku.ca/pub/peter/SVT/OSX/
  232. -rw-r--r-- midas/midas    943520 2004-05-19 00:00 ftp.cs.yorku.ca/pub/peter/SVT/OSX/wang
  233. -rw-r--r-- midas/midas    935216 2004-05-19 00:00 ftp.cs.yorku.ca/pub/peter/SVT/OSX/tautology
  234. -rw-r--r-- midas/midas      1765 1999-02-07 00:00 ftp.cs.yorku.ca/pub/peter/SVT/simplify.prolog
  235.