home *** CD-ROM | disk | FTP | other *** search
/ Solo Programadores 22 / SOLO_22.iso / ls_lr < prev   
Encoding:
Text File  |  1996-04-29  |  45.9 KB  |  810 lines
  1. total 36
  2. drwxr-xr-x  10 root     root         1024 Apr 29 15:58 docs/
  3. drwxr-xr-x   7 root     root         1024 Apr 26 17:05 gnat/
  4. -rw-r--r--   1 root     root            0 Apr 29 19:57 ls_lR
  5. -rw-r--r--   1 root     root        13406 Apr 25 12:48 ls_lR.tmp
  6. -rw-r--r--   1 root     root        15889 Apr 25 19:35 ls_lR2.tmp
  7. drwxr-xr-x   6 root     root         1024 Apr 29 18:43 packages/
  8. drwxr-xr-x   2 root     root         1024 Apr 26 17:41 utl/
  9.  
  10. docs:
  11. total 35
  12. drwxr-xr-x   2 root     root         1024 Apr 26 17:22 courses/
  13. drwxr-xr-x   4 root     root         1024 Apr 24 19:11 faq/
  14. drwxr-xr-x   2 root     root         9216 Apr 25 20:52 lovelace/
  15. -rw-r--r--   1 root     root         4560 May  6  1994 mailings.txt
  16. drwxr-xr-x   3 root     root         1024 Apr 26 17:25 misc/
  17. drwxr-xr-x   2 root     root         1024 Apr 26 17:22 papers/
  18. drwxr-xr-x   2 root     root         1024 Apr 29 16:14 rational/
  19. drwxr-xr-x   2 root     root         1024 Apr 29 16:15 rm/
  20. -rw-r--r--   1 root     root        12633 May  6  1994 sites.txt
  21. drwxr-xr-x   4 root     root         1024 Apr 24 21:05 success/
  22.  
  23. docs/courses:
  24. total 862
  25. -rw-r--r--   1 root     root       141032 Apr 25 13:14 cs1book.zip
  26. -rw-r--r--   1 root     root       462848 Apr 25 13:17 cs1code.tar
  27. -rw-r--r--   1 root     root       130575 Apr 25 13:23 cs1code.zip
  28. -rw-r--r--   1 root     root       141032 Apr 25 13:31 feldkoff.zip
  29.  
  30. docs/faq:
  31. total 2
  32. drwxr-xr-x   2 root     root         1024 Apr 24 19:10 lang_Ada/
  33. drwxr-xr-x   2 root     root         1024 Apr 24 19:11 prog/
  34.  
  35. docs/faq/lang_Ada:
  36. total 92
  37. -rw-r--r--   1 root     root        34920 Apr 24 19:10 part1
  38. -rw-r--r--   1 root     root        35355 Apr 24 19:10 part2
  39. -rw-r--r--   1 root     root        18638 Apr 24 19:10 part3
  40.  
  41. docs/faq/prog:
  42. total 140
  43. -rw-r--r--   1 root     root        32835 Apr 24 19:11 part1
  44. -rw-r--r--   1 root     root        27137 Apr 24 19:11 part2
  45. -rw-r--r--   1 root     root        38796 Apr 24 19:11 part3
  46. -rw-r--r--   1 root     root        38346 Apr 24 19:11 part4
  47.  
  48. docs/lovelace:
  49. total 2840
  50. -rw-r--r--   1 root     root        82305 Jul 25  1995 ABOUT.PS
  51. -rw-r--r--   1 root     root          371 Feb 23  1995 ALLOKAY
  52. -rw-r--r--   1 root     root         2845 Nov 21 17:06 BAA1994.HTM
  53. -rw-r--r--   1 root     root        12436 Nov 27 11:55 BIBLIO.HTM
  54. -rw-r--r--   1 root     root         1488 Nov 21 17:15 BLANK.LES
  55. -rw-r--r--   1 root     root         2624 Nov 21 17:06 BNF.HTM
  56. -rw-r--r--   1 root     root         2048 Dec  8 15:04 CELLO.BMK
  57. -rw-r--r--   1 root     root       533273 Dec  8 15:04 CELLO.EXE
  58. -rw-r--r--   1 root     root          649 Apr 25 20:09 CELLO.INI
  59. -rw-r--r--   1 root     root          633 Dec  8 15:04 CELLO.INO
  60. -rw-r--r--   1 root     root          122 Dec  8 15:04 CELLO.SIG
  61. -rw-r--r--   1 root     root         1872 Dec  8 15:04 CELLO.STO
  62. -rw-r--r--   1 root     root         1872 Dec  8 15:04 CELLO.STY
  63. -rw-r--r--   1 root     root         2559 Nov 16 13:14 CHILDP.GIF
  64. -rw-r--r--   1 root     root       373685 Dec  8 15:04 CLOHELP.HLP
  65. -rw-r--r--   1 root     root          796 Nov 22 00:14 COMMENTS.HD
  66. -rw-r--r--   1 root     root        62001 Dec  8 14:39 COMMENTS.HTM
  67. -rw-r--r--   1 root     root         1362 Nov 21 17:17 COMMENTS.TL
  68. -rw-r--r--   1 root     root          241 Oct 24  1995 CREATURE.ADS
  69. -rw-r--r--   1 root     root         1486 Dec  8 14:36 CREATURS.HTM
  70. -rw-r--r--   1 root     root          305 Dec  8 14:48 CRITTERS.ADS
  71. -rw-r--r--   1 root     root          396 Nov 21 17:13 DEFAULT
  72. -rw-r--r--   1 root     root         6349 Dec  8 15:04 DEFAULT.HTM
  73. -rw-r--r--   1 root     root         3608 Dec  8 14:36 DIRECTIB.HTM
  74. -rw-r--r--   1 root     root         1745 Oct 25  1995 DIRECTIO.ADB
  75. -rw-r--r--   1 root     root          643 Oct 25  1995 DIRECTIO.ADS
  76. -rw-r--r--   1 root     root         2469 Dec  8 14:36 DIRECTIS.HTM
  77. -rw-r--r--   1 root     root         3539 Nov 21 17:06 DODUSE.HTM
  78. -rw-r--r--   1 root     root         7452 Dec  7 14:52 DOWNLOAD.HTM
  79. -rw-r--r--   1 root     root        80493 Mar  4  1995 DWHEEL1.GIF
  80. -rw-r--r--   1 root     root        23470 Mar 10  1995 DWHEEL2.GIF
  81. -rw-r--r--   1 root     root         5534 Dec  8 15:18 DWHEELER.HTM
  82. -rw-r--r--   1 root     root           84 Nov 21 17:40 EXCLUDE
  83. -rw-r--r--   1 root     root         4652 Nov 21 17:06 FINI.HTM
  84. -rw-r--r--   1 root     root         6726 Nov 21 17:25 FORMATMK.TXT
  85. -rw-r--r--   1 root     root         2913 Nov 21 17:06 FORMATTM.HTM
  86. -rw-r--r--   1 root     root         5741 May 11  1995 FR-TEMP
  87. -rw-r--r--   1 root     root         1186 Nov 21 17:06 GMU.HTM
  88. -rw-r--r--   1 root     root        18082 Dec  5  1994 GPL
  89. -rw-r--r--   1 root     root         1642 Jul 19  1995 GREYSTO1.JPG
  90. -rw-r--r--   1 root     root          158 May  9  1995 HELLO.ADB
  91. -rw-r--r--   1 root     root         6890 Nov 21 17:24 HELP-PT2.HTM
  92. -rw-r--r--   1 root     root         2441 Nov 21 17:06 HELPMAKE.HTM
  93. -rw-r--r--   1 root     root         7960 Nov 21 17:06 HOT_ADA.HTM
  94. -rw-r--r--   1 root     root         4575 Nov 21 17:06 HOW2COMP.HTM
  95. -rw-r--r--   1 root     root         1308 Nov 18 08:46 HSPELL
  96. -rw-r--r--   1 root     root         4126 Oct  7  1995 INSPECT.GIF
  97. -rw-r--r--   1 root     root         5875 Dec  7 15:09 INSTALL.TXT
  98. -rw-r--r--   1 root     root          192 Oct 21  1995 ITEMS.ADB
  99. -rw-r--r--   1 root     root          329 Oct 24  1995 ITEMS.ADS
  100. -rw-r--r--   1 root     root         1038 Dec  8 14:36 ITEMSB.HTM
  101. -rw-r--r--   1 root     root         1787 Dec  8 14:36 ITEMSS.HTM
  102. -rw-r--r--   1 root     root          581 Nov 21 17:37 LCOUNT
  103. -rw-r--r--   1 root     root         5983 Dec  7 12:01 LEGAL.HTM
  104. -rw-r--r--   1 root     root          811 Nov 21 17:06 LESSON1.HTM
  105. -rw-r--r--   1 root     root        17277 Dec  7 17:23 LESSON1.LES
  106. -rw-r--r--   1 root     root           18 Dec  7 17:23 LESSON1.TIM
  107. -rw-r--r--   1 root     root          755 Nov 21 17:06 LESSON10.HTM
  108. -rw-r--r--   1 root     root         7562 Nov 21 17:31 LESSON10.LES
  109. -rw-r--r--   1 root     root           18 Nov 21 17:44 LESSON10.TIM
  110. -rw-r--r--   1 root     root          770 Nov 21 17:06 LESSON11.HTM
  111. -rw-r--r--   1 root     root         8451 Nov 21 17:31 LESSON11.LES
  112. -rw-r--r--   1 root     root           18 Nov 21 17:44 LESSON11.TIM
  113. -rw-r--r--   1 root     root          850 Nov 21 17:06 LESSON12.HTM
  114. -rw-r--r--   1 root     root        13772 Dec  7 17:23 LESSON12.LES
  115. -rw-r--r--   1 root     root           18 Dec  7 17:23 LESSON12.TIM
  116. -rw-r--r--   1 root     root          866 Nov 21 17:06 LESSON13.HTM
  117. -rw-r--r--   1 root     root        17575 Nov 21 17:32 LESSON13.LES
  118. -rw-r--r--   1 root     root           18 Nov 21 17:44 LESSON13.TIM
  119. -rw-r--r--   1 root     root          769 Nov 21 17:06 LESSON14.HTM
  120. -rw-r--r--   1 root     root        11705 Nov 21 17:32 LESSON14.LES
  121. -rw-r--r--   1 root     root           18 Nov 21 17:44 LESSON14.TIM
  122. -rw-r--r--   1 root     root          706 Nov 21 17:06 LESSON15.HTM
  123. -rw-r--r--   1 root     root         7545 Nov 21 17:32 LESSON15.LES
  124. -rw-r--r--   1 root     root           18 Nov 21 17:44 LESSON15.TIM
  125. -rw-r--r--   1 root     root          783 Nov 21 17:06 LESSON16.HTM
  126. -rw-r--r--   1 root     root        15366 Nov 21 17:33 LESSON16.LES
  127. -rw-r--r--   1 root     root           18 Nov 21 17:44 LESSON16.TIM
  128. -rw-r--r--   1 root     root          869 Nov 21 17:06 LESSON17.HTM
  129. -rw-r--r--   1 root     root        31581 Nov 21 17:34 LESSON17.LES
  130. -rw-r--r--   1 root     root           18 Nov 21 17:44 LESSON17.TIM
  131. -rw-r--r--   1 root     root         1042 Dec  7 17:21 LESSON18.HTM
  132. -rw-r--r--   1 root     root        25734 Nov 22 00:35 LESSON18.LES
  133. -rw-r--r--   1 root     root           18 Nov 22 00:36 LESSON18.TIM
  134. -rw-r--r--   1 root     root          841 Nov 21 17:06 LESSON2.HTM
  135. -rw-r--r--   1 root     root        11988 Nov 21 17:34 LESSON2.LES
  136. -rw-r--r--   1 root     root           18 Nov 21 17:43 LESSON2.TIM
  137. -rw-r--r--   1 root     root          798 Nov 21 17:06 LESSON3.HTM
  138. -rw-r--r--   1 root     root         8666 Nov 21 17:34 LESSON3.LES
  139. -rw-r--r--   1 root     root           18 Nov 21 17:43 LESSON3.TIM
  140. -rw-r--r--   1 root     root          781 Nov 21 17:06 LESSON4.HTM
  141. -rw-r--r--   1 root     root         9973 Nov 21 17:34 LESSON4.LES
  142. -rw-r--r--   1 root     root           18 Nov 21 17:43 LESSON4.TIM
  143. -rw-r--r--   1 root     root          741 Nov 21 17:06 LESSON5.HTM
  144. -rw-r--r--   1 root     root         7040 Nov 21 17:35 LESSON5.LES
  145. -rw-r--r--   1 root     root           18 Nov 21 17:43 LESSON5.TIM
  146. -rw-r--r--   1 root     root          899 Nov 21 17:06 LESSON6.HTM
  147. -rw-r--r--   1 root     root        16961 Nov 21 17:35 LESSON6.LES
  148. -rw-r--r--   1 root     root           18 Nov 21 17:44 LESSON6.TIM
  149. -rw-r--r--   1 root     root         1065 Nov 21 17:06 LESSON7.HTM
  150. -rw-r--r--   1 root     root        27601 Dec  8 14:49 LESSON7.LES
  151. -rw-r--r--   1 root     root           18 Dec  8 14:49 LESSON7.TIM
  152. -rw-r--r--   1 root     root          938 Nov 21 17:06 LESSON8.HTM
  153. -rw-r--r--   1 root     root        20746 Nov 21 17:35 LESSON8.LES
  154. -rw-r--r--   1 root     root           18 Nov 21 17:44 LESSON8.TIM
  155. -rw-r--r--   1 root     root          826 Nov 21 17:06 LESSON9.HTM
  156. -rw-r--r--   1 root     root         9846 Nov 21 17:35 LESSON9.LES
  157. -rw-r--r--   1 root     root           18 Nov 21 17:44 LESSON9.TIM
  158. -rw-r--r--   1 root     root        25354 Dec  5  1994 LGPL
  159. -rw-r--r--   1 root     root         2727 Nov 21 17:06 LOCAL.HTM
  160. -rw-r--r--   1 root     root         1222 Mar  4  1995 LOVELACE.GIF
  161. -rw-r--r--   1 root     root         4192 Nov 21 17:06 LOVELACE.HTM
  162. -rw-r--r--   1 root     root          627 Apr 26  1995 LOVELACE.NOL
  163. -rw-r--r--   1 root     root         6763 Dec  7 15:09 LVERSION.HTM
  164. -rw-r--r--   1 root     root         4195 Dec  8 15:16 MAKEFILE
  165. -rw-r--r--   1 root     root          194 Mar 14  1995 MAKE_HI.ADB
  166. -rw-r--r--   1 root     root         1871 Nov 21 17:06 MASTER.HTM
  167. -rw-r--r--   1 root     root          738 Nov 16 11:41 MKCOMM
  168. -rw-r--r--   1 root     root          262 Mar  4  1995 MKINTERL
  169. -rw-r--r--   1 root     root        24711 Nov 21 17:22 MKLESSON
  170. -rw-r--r--   1 root     root         9704 Nov 16 15:01 MKLINKS
  171. -rw-r--r--   1 root     root          217 Oct 27  1995 MONSTERS.ADS
  172. -rw-r--r--   1 root     root         1317 Dec  8 14:36 MONSTERS.HTM
  173. -rw-r--r--   1 root     root          365 Nov 27  1994 NEW_SECT
  174. -rw-r--r--   1 root     root          176 Mar  6  1995 NEXT.GIF
  175. -rw-r--r--   1 root     root         2348 Nov 21 17:06 NOTE83.HTM
  176. -rw-r--r--   1 root     root         5064 Nov 21 17:06 NOTES.HTM
  177. -rw-r--r--   1 root     root         4693 Dec  8 14:36 OCCUPANB.HTM
  178. -rw-r--r--   1 root     root         4548 Dec  8 14:36 OCCUPANS.HTM
  179. -rw-r--r--   1 root     root         2083 Nov  1  1995 OCCUPANT.ADB
  180. -rw-r--r--   1 root     root         1940 Oct 25  1995 OCCUPANT.ADS
  181. -rw-r--r--   1 root     root         3408 Dec  8 14:40 OKAYWORD
  182. -rw-r--r--   1 root     root          455 Nov 21 17:38 OTHERT.HTM
  183. -rw-r--r--   1 root     root         2740 Nov 21 16:52 PARSER.ADB
  184. -rw-r--r--   1 root     root          437 Nov 21 16:44 PARSER.ADS
  185. -rw-r--r--   1 root     root         5594 Dec  8 14:36 PARSERB.HTM
  186. -rw-r--r--   1 root     root         1398 Dec  8 14:36 PARSERS.HTM
  187. -rw-r--r--   1 root     root         2640 Nov 16 13:14 PCHILDP.GIF
  188. -rw-r--r--   1 root     root         4318 Nov 21 17:06 PHILOS.HTM
  189. -rw-r--r--   1 root     root         1586 Dec  8 14:36 PKGLIST.HTM
  190. -rw-r--r--   1 root     root          214 Oct 21  1995 PLAYERS.ADS
  191. -rw-r--r--   1 root     root         1442 Dec  8 14:36 PLAYERSS.HTM
  192. -rw-r--r--   1 root     root          180 Mar  6  1995 PREVIOUS.GIF
  193. -rw-r--r--   1 root     root          326 Apr 28  1995 PUT_LONG.ADB
  194. -rw-r--r--   1 root     root         2961 Nov 21 17:40 README
  195. -rw-r--r--   1 root     root         8443 Dec  8 15:04 README.1ST
  196. -rw-r--r--   1 root     root          408 Nov 18 08:50 RMHTML
  197. -rw-r--r--   1 root     root         1167 Oct 25  1995 ROOMS.ADB
  198. -rw-r--r--   1 root     root         1102 Oct 25  1995 ROOMS.ADS
  199. -rw-r--r--   1 root     root         2985 Dec  8 14:36 ROOMSB.HTM
  200. -rw-r--r--   1 root     root         3522 Dec  8 14:36 ROOMSS.HTM
  201. -rw-r--r--   1 root     root         8284 Dec  7 17:23 S1-1.HTM
  202. -rw-r--r--   1 root     root         1625 Nov 21 17:43 S1-1R1.HTM
  203. -rw-r--r--   1 root     root         1842 Nov 21 17:43 S1-1R2.HTM
  204. -rw-r--r--   1 root     root         2873 Nov 21 17:43 S1-1R3.HTM
  205. -rw-r--r--   1 root     root         1493 Nov 21 17:43 S1-1R4.HTM
  206. -rw-r--r--   1 root     root         3902 Nov 21 17:43 S1-2.HTM
  207. -rw-r--r--   1 root     root         1605 Nov 21 17:43 S1-2R1.HTM
  208. -rw-r--r--   1 root     root         1703 Nov 21 17:43 S1-2R2.HTM
  209. -rw-r--r--   1 root     root         1548 Nov 21 17:43 S1-2R3.HTM
  210. -rw-r--r--   1 root     root         2662 Nov 21 17:43 S1-3.HTM
  211. -rw-r--r--   1 root     root         1869 Nov 21 17:43 S1-3R1.HTM
  212. -rw-r--r--   1 root     root         1606 Nov 21 17:43 S1-3R2.HTM
  213. -rw-r--r--   1 root     root         4486 Nov 21 17:43 S1-F.HTM
  214. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S1-FR1.HTM
  215. -rw-r--r--   1 root     root         1981 Nov 21 17:43 S1-FR2.HTM
  216. -rw-r--r--   1 root     root         1491 Nov 21 17:43 S1-FR3.HTM
  217. -rw-r--r--   1 root     root         4534 Nov 21 17:06 S10-1.HTM
  218. -rw-r--r--   1 root     root         1688 Nov 21 17:44 S10-1R1.HTM
  219. -rw-r--r--   1 root     root         1486 Nov 21 17:44 S10-1R2.HTM
  220. -rw-r--r--   1 root     root         2564 Nov 21 17:06 S10-2.HTM
  221. -rw-r--r--   1 root     root         4177 Nov 21 17:06 S10-F.HTM
  222. -rw-r--r--   1 root     root         4260 Nov 21 17:44 S11-1.HTM
  223. -rw-r--r--   1 root     root         4514 Nov 21 17:44 S11-2.HTM
  224. -rw-r--r--   1 root     root         1486 Nov 21 17:44 S11-2R1.HTM
  225. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S11-2R2.HTM
  226. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S11-2R3.HTM
  227. -rw-r--r--   1 root     root         3561 Nov 21 17:44 S11-F.HTM
  228. -rw-r--r--   1 root     root         1545 Nov 21 17:44 S11-FR1.HTM
  229. -rw-r--r--   1 root     root         1486 Nov 21 17:44 S11-FR2.HTM
  230. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S11-FR3.HTM
  231. -rw-r--r--   1 root     root         4362 Nov 21 17:44 S12-1.HTM
  232. -rw-r--r--   1 root     root         5077 Nov 21 17:44 S12-2.HTM
  233. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S12-2R1.HTM
  234. -rw-r--r--   1 root     root         1628 Nov 21 17:44 S12-2R2.HTM
  235. -rw-r--r--   1 root     root         1635 Nov 21 17:44 S12-2R3.HTM
  236. -rw-r--r--   1 root     root         3920 Nov 21 17:44 S12-3.HTM
  237. -rw-r--r--   1 root     root         5654 Dec  7 17:23 S12-F.HTM
  238. -rw-r--r--   1 root     root         5798 Nov 21 17:44 S13-1.HTM
  239. -rw-r--r--   1 root     root         1905 Nov 21 17:44 S13-1R1.HTM
  240. -rw-r--r--   1 root     root         1771 Nov 21 17:44 S13-1R2.HTM
  241. -rw-r--r--   1 root     root         4187 Nov 21 17:44 S13-2.HTM
  242. -rw-r--r--   1 root     root         1486 Nov 21 17:44 S13-2R1.HTM
  243. -rw-r--r--   1 root     root         1747 Nov 21 17:44 S13-2R2.HTM
  244. -rw-r--r--   1 root     root         4619 Nov 21 17:44 S13-3.HTM
  245. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S13-3R1.HTM
  246. -rw-r--r--   1 root     root         1486 Nov 21 17:44 S13-3R2.HTM
  247. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S13-3R3.HTM
  248. -rw-r--r--   1 root     root         4494 Nov 21 17:44 S13-4.HTM
  249. -rw-r--r--   1 root     root         4539 Nov 21 17:44 S13-F.HTM
  250. -rw-r--r--   1 root     root         3067 Nov 21 17:44 S14-1.HTM
  251. -rw-r--r--   1 root     root         1569 Nov 21 17:44 S14-1R1.HTM
  252. -rw-r--r--   1 root     root         1570 Nov 21 17:44 S14-1R2.HTM
  253. -rw-r--r--   1 root     root         1571 Nov 21 17:44 S14-1R3.HTM
  254. -rw-r--r--   1 root     root         5182 Nov 21 17:44 S14-2.HTM
  255. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S14-2R1.HTM
  256. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S14-2R2.HTM
  257. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S14-2R3.HTM
  258. -rw-r--r--   1 root     root         1486 Nov 21 17:44 S14-2R4.HTM
  259. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S14-2R5.HTM
  260. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S14-2R6.HTM
  261. -rw-r--r--   1 root     root         6990 Nov 21 17:44 S14-F.HTM
  262. -rw-r--r--   1 root     root         1601 Nov 21 17:44 S14-FR1.HTM
  263. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S14-FR2.HTM
  264. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S14-FR3.HTM
  265. -rw-r--r--   1 root     root         3979 Nov 21 17:44 S15-1.HTM
  266. -rw-r--r--   1 root     root         5956 Nov 21 17:44 S15-F.HTM
  267. -rw-r--r--   1 root     root         5760 Nov 21 17:44 S16-1.HTM
  268. -rw-r--r--   1 root     root         1936 Nov 21 17:44 S16-1R1.HTM
  269. -rw-r--r--   1 root     root         1581 Nov 21 17:44 S16-1R2.HTM
  270. -rw-r--r--   1 root     root         1623 Nov 21 17:44 S16-1R3.HTM
  271. -rw-r--r--   1 root     root         7623 Nov 21 17:44 S16-2.HTM
  272. -rw-r--r--   1 root     root         5199 Nov 21 17:44 S16-F.HTM
  273. -rw-r--r--   1 root     root         1486 Nov 21 17:44 S16-FR1.HTM
  274. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S16-FR2.HTM
  275. -rw-r--r--   1 root     root         5773 Nov 21 17:44 S17-1.HTM
  276. -rw-r--r--   1 root     root         1665 Nov 21 17:44 S17-1R1.HTM
  277. -rw-r--r--   1 root     root         1486 Nov 21 17:44 S17-1R2.HTM
  278. -rw-r--r--   1 root     root         6544 Nov 21 17:44 S17-2.HTM
  279. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S17-2R1.HTM
  280. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S17-2R2.HTM
  281. -rw-r--r--   1 root     root         1992 Nov 21 17:44 S17-2R3.HTM
  282. -rw-r--r--   1 root     root         8787 Nov 21 17:44 S17-3.HTM
  283. -rw-r--r--   1 root     root         2550 Nov 21 17:44 S17-3R1.HTM
  284. -rw-r--r--   1 root     root         1725 Nov 21 17:44 S17-3R2.HTM
  285. -rw-r--r--   1 root     root         1488 Nov 21 17:44 S17-3R3.HTM
  286. -rw-r--r--   1 root     root         1938 Nov 21 17:44 S17-3R4.HTM
  287. -rw-r--r--   1 root     root         9123 Nov 21 17:44 S17-4.HTM
  288. -rw-r--r--   1 root     root         1961 Nov 21 17:44 S17-4R1.HTM
  289. -rw-r--r--   1 root     root         1652 Nov 21 17:44 S17-4R2.HTM
  290. -rw-r--r--   1 root     root         2371 Nov 21 17:44 S17-4R3.HTM
  291. -rw-r--r--   1 root     root         1771 Nov 21 17:44 S17-4R4.HTM
  292. -rw-r--r--   1 root     root         3788 Nov 21 17:44 S17-F.HTM
  293. -rw-r--r--   1 root     root         6388 Dec  7 17:21 S18-1.HTM
  294. -rw-r--r--   1 root     root         1326 Dec  7 17:21 S18-1R1.HTM
  295. -rw-r--r--   1 root     root         1389 Dec  7 17:21 S18-1R2.HTM
  296. -rw-r--r--   1 root     root         1402 Dec  7 17:21 S18-1R3.HTM
  297. -rw-r--r--   1 root     root         1457 Dec  7 17:21 S18-1R4.HTM
  298. -rw-r--r--   1 root     root         1326 Dec  7 17:21 S18-1R5.HTM
  299. -rw-r--r--   1 root     root         5532 Dec  7 17:21 S18-2.HTM
  300. -rw-r--r--   1 root     root         1378 Dec  7 17:21 S18-2R1.HTM
  301. -rw-r--r--   1 root     root         1473 Dec  7 17:21 S18-2R2.HTM
  302. -rw-r--r--   1 root     root         4364 Dec  7 17:21 S18-3.HTM
  303. -rw-r--r--   1 root     root         1622 Dec  7 17:21 S18-3R1.HTM
  304. -rw-r--r--   1 root     root         1432 Dec  7 17:21 S18-3R2.HTM
  305. -rw-r--r--   1 root     root         1393 Dec  7 17:21 S18-3R3.HTM
  306. -rw-r--r--   1 root     root         4313 Dec  7 17:21 S18-4.HTM
  307. -rw-r--r--   1 root     root         1952 Dec  7 17:21 S18-4R1.HTM
  308. -rw-r--r--   1 root     root         1444 Dec  7 17:21 S18-4R2.HTM
  309. -rw-r--r--   1 root     root         1481 Dec  7 17:21 S18-4R3.HTM
  310. -rw-r--r--   1 root     root         1536 Dec  7 17:21 S18-4R4.HTM
  311. -rw-r--r--   1 root     root         1506 Dec  7 17:21 S18-4R5.HTM
  312. -rw-r--r--   1 root     root         4500 Dec  7 17:21 S18-5.HTM
  313. -rw-r--r--   1 root     root         1324 Dec  7 17:21 S18-5R1.HTM
  314. -rw-r--r--   1 root     root         1326 Dec  7 17:21 S18-5R2.HTM
  315. -rw-r--r--   1 root     root         4558 Dec  7 17:21 S18-6.HTM
  316. -rw-r--r--   1 root     root         1324 Dec  7 17:21 S18-6R1.HTM
  317. -rw-r--r--   1 root     root         1326 Dec  7 17:21 S18-6R2.HTM
  318. -rw-r--r--   1 root     root         3134 Dec  7 17:21 S18-F.HTM
  319. -rw-r--r--   1 root     root         4652 Dec  8 14:49 S19-1.HTM
  320. -rw-r--r--   1 root     root         3000 Nov 21 17:43 S2-1.HTM
  321. -rw-r--r--   1 root     root         1562 Nov 21 17:43 S2-1R1.HTM
  322. -rw-r--r--   1 root     root         1560 Nov 21 17:43 S2-1R2.HTM
  323. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S2-1R3.HTM
  324. -rw-r--r--   1 root     root         3375 Nov 21 17:43 S2-2.HTM
  325. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S2-2R1.HTM
  326. -rw-r--r--   1 root     root         1542 Nov 21 17:43 S2-2R2.HTM
  327. -rw-r--r--   1 root     root         4018 Nov 21 17:43 S2-3.HTM
  328. -rw-r--r--   1 root     root         1498 Nov 21 17:43 S2-3R1.HTM
  329. -rw-r--r--   1 root     root         1498 Nov 21 17:43 S2-3R2.HTM
  330. -rw-r--r--   1 root     root         1541 Nov 21 17:43 S2-3R3.HTM
  331. -rw-r--r--   1 root     root         1607 Nov 21 17:43 S2-3R4.HTM
  332. -rw-r--r--   1 root     root         3904 Nov 21 17:43 S2-4.HTM
  333. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S2-4R1.HTM
  334. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S2-4R2.HTM
  335. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S2-4R3.HTM
  336. -rw-r--r--   1 root     root         1819 Nov 21 17:43 S2-4R4.HTM
  337. -rw-r--r--   1 root     root         2931 Nov 21 17:43 S2-F.HTM
  338. -rw-r--r--   1 root     root         1937 Nov 21 17:43 S2-FR1.HTM
  339. -rw-r--r--   1 root     root         1651 Nov 21 17:43 S2-FR2.HTM
  340. -rw-r--r--   1 root     root         3747 Nov 21 17:43 S3-1.HTM
  341. -rw-r--r--   1 root     root         1547 Nov 21 17:43 S3-1R1.HTM
  342. -rw-r--r--   1 root     root         1559 Nov 21 17:43 S3-1R2.HTM
  343. -rw-r--r--   1 root     root         3223 Nov 21 17:43 S3-2.HTM
  344. -rw-r--r--   1 root     root         1570 Nov 21 17:43 S3-2R1.HTM
  345. -rw-r--r--   1 root     root         1481 Nov 21 17:43 S3-2R2.HTM
  346. -rw-r--r--   1 root     root         3682 Nov 21 17:43 S3-3.HTM
  347. -rw-r--r--   1 root     root         1481 Nov 21 17:43 S3-3R1.HTM
  348. -rw-r--r--   1 root     root         1651 Nov 21 17:43 S3-3R2.HTM
  349. -rw-r--r--   1 root     root         2888 Nov 21 17:43 S3-F.HTM
  350. -rw-r--r--   1 root     root         1484 Nov 21 17:43 S3-FR1.HTM
  351. -rw-r--r--   1 root     root         1567 Nov 21 17:43 S3-FR2.HTM
  352. -rw-r--r--   1 root     root         1597 Nov 21 17:43 S3-FR3.HTM
  353. -rw-r--r--   1 root     root         4496 Nov 21 17:43 S4-1.HTM
  354. -rw-r--r--   1 root     root         1606 Nov 21 17:43 S4-1R1.HTM
  355. -rw-r--r--   1 root     root         1585 Nov 21 17:43 S4-1R2.HTM
  356. -rw-r--r--   1 root     root         1485 Nov 21 17:43 S4-1R3.HTM
  357. -rw-r--r--   1 root     root         3791 Nov 21 17:43 S4-2.HTM
  358. -rw-r--r--   1 root     root         2285 Nov 21 17:43 S4-2R1.HTM
  359. -rw-r--r--   1 root     root         1677 Nov 21 17:43 S4-2R2.HTM
  360. -rw-r--r--   1 root     root         1540 Nov 21 17:43 S4-2R3.HTM
  361. -rw-r--r--   1 root     root         4387 Nov 21 17:43 S4-F.HTM
  362. -rw-r--r--   1 root     root         1481 Nov 21 17:43 S4-FR1.HTM
  363. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S4-FR2.HTM
  364. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S4-FR3.HTM
  365. -rw-r--r--   1 root     root         3315 Nov 21 17:43 S5-1.HTM
  366. -rw-r--r--   1 root     root         1481 Nov 21 17:43 S5-1R1.HTM
  367. -rw-r--r--   1 root     root         1519 Nov 21 17:43 S5-1R2.HTM
  368. -rw-r--r--   1 root     root         1534 Nov 21 17:43 S5-1R3.HTM
  369. -rw-r--r--   1 root     root         3427 Nov 21 17:43 S5-2.HTM
  370. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S5-2R1.HTM
  371. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S5-2R2.HTM
  372. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S5-2R3.HTM
  373. -rw-r--r--   1 root     root         1481 Nov 21 17:43 S5-2R4.HTM
  374. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S5-2R5.HTM
  375. -rw-r--r--   1 root     root         3943 Nov 21 17:43 S5-F.HTM
  376. -rw-r--r--   1 root     root         1569 Nov 21 17:43 S5-FR1.HTM
  377. -rw-r--r--   1 root     root         1481 Nov 21 17:43 S5-FR2.HTM
  378. -rw-r--r--   1 root     root         1592 Nov 21 17:43 S5-FR3.HTM
  379. -rw-r--r--   1 root     root         4192 Nov 21 17:43 S6-1.HTM
  380. -rw-r--r--   1 root     root         1481 Nov 21 17:43 S6-1R1.HTM
  381. -rw-r--r--   1 root     root         1479 Nov 21 17:43 S6-1R2.HTM
  382. -rw-r--r--   1 root     root         1479 Nov 21 17:43 S6-1R3.HTM
  383. -rw-r--r--   1 root     root         3757 Nov 21 17:43 S6-2.HTM
  384. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S6-2R1.HTM
  385. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S6-2R2.HTM
  386. -rw-r--r--   1 root     root         1481 Nov 21 17:43 S6-2R3.HTM
  387. -rw-r--r--   1 root     root         4946 Nov 21 17:43 S6-3.HTM
  388. -rw-r--r--   1 root     root         1481 Nov 21 17:43 S6-3R1.HTM
  389. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S6-3R2.HTM
  390. -rw-r--r--   1 root     root         2526 Nov 21 17:43 S6-4.HTM
  391. -rw-r--r--   1 root     root         4007 Nov 21 17:43 S6-5.HTM
  392. -rw-r--r--   1 root     root         3102 Nov 21 17:43 S6-6.HTM
  393. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S6-6R1.HTM
  394. -rw-r--r--   1 root     root         1481 Nov 21 17:43 S6-6R2.HTM
  395. -rw-r--r--   1 root     root         1483 Nov 21 17:43 S6-6R3.HTM
  396. -rw-r--r--   1 root     root         4268 Nov 21 17:44 S6-F.HTM
  397. -rw-r--r--   1 root     root         1541 Nov 21 17:44 S6-FR1.HTM
  398. -rw-r--r--   1 root     root         1694 Nov 21 17:44 S6-FR2.HTM
  399. -rw-r--r--   1 root     root         1472 Nov 21 17:44 S6-FR3.HTM
  400. -rw-r--r--   1 root     root         9768 Nov 21 17:44 S7-1.HTM
  401. -rw-r--r--   1 root     root         2107 Nov 21 17:44 S7-1R1.HTM
  402. -rw-r--r--   1 root     root         1826 Nov 21 17:44 S7-1R2.HTM
  403. -rw-r--r--   1 root     root         4710 Nov 21 17:44 S7-2.HTM
  404. -rw-r--r--   1 root     root         1674 Nov 21 17:44 S7-2R1.HTM
  405. -rw-r--r--   1 root     root         1979 Nov 21 17:44 S7-2R2.HTM
  406. -rw-r--r--   1 root     root         1483 Nov 21 17:44 S7-2R3.HTM
  407. -rw-r--r--   1 root     root         4376 Dec  8 14:49 S7-3.HTM
  408. -rw-r--r--   1 root     root         1483 Nov 21 17:44 S7-3R1.HTM
  409. -rw-r--r--   1 root     root         1483 Nov 21 17:44 S7-3R2.HTM
  410. -rw-r--r--   1 root     root         1613 Nov 21 17:44 S7-3R3.HTM
  411. -rw-r--r--   1 root     root         1673 Nov 21 17:44 S7-3R4.HTM
  412. -rw-r--r--   1 root     root         5077 Nov 21 17:44 S7-4.HTM
  413. -rw-r--r--   1 root     root         1588 Nov 21 17:44 S7-4R1.HTM
  414. -rw-r--r--   1 root     root         1483 Nov 21 17:44 S7-4R2.HTM
  415. -rw-r--r--   1 root     root         1719 Nov 21 17:44 S7-4R3.HTM
  416. -rw-r--r--   1 root     root         3494 Nov 21 17:44 S7-5.HTM
  417. -rw-r--r--   1 root     root         1571 Nov 21 17:44 S7-5R1.HTM
  418. -rw-r--r--   1 root     root         1645 Nov 21 17:44 S7-5R2.HTM
  419. -rw-r--r--   1 root     root         1481 Nov 21 17:44 S7-5R3.HTM
  420. -rw-r--r--   1 root     root         3644 Nov 21 17:44 S7-6.HTM
  421. -rw-r--r--   1 root     root         4483 Nov 21 17:44 S7-F.HTM
  422. -rw-r--r--   1 root     root         4583 Nov 21 17:44 S8-1.HTM
  423. -rw-r--r--   1 root     root         1682 Nov 21 17:44 S8-1R1.HTM
  424. -rw-r--r--   1 root     root         1491 Nov 21 17:44 S8-1R2.HTM
  425. -rw-r--r--   1 root     root         1535 Nov 21 17:44 S8-1R3.HTM
  426. -rw-r--r--   1 root     root         4602 Nov 21 17:44 S8-2.HTM
  427. -rw-r--r--   1 root     root         1532 Nov 21 17:44 S8-2R1.HTM
  428. -rw-r--r--   1 root     root         1552 Nov 21 17:44 S8-2R2.HTM
  429. -rw-r--r--   1 root     root         1761 Nov 21 17:44 S8-2R3.HTM
  430. -rw-r--r--   1 root     root         1622 Nov 21 17:44 S8-2R4.HTM
  431. -rw-r--r--   1 root     root         4949 Nov 21 17:44 S8-3.HTM
  432. -rw-r--r--   1 root     root         1483 Nov 21 17:44 S8-3R1.HTM
  433. -rw-r--r--   1 root     root         1483 Nov 21 17:44 S8-3R2.HTM
  434. -rw-r--r--   1 root     root         1483 Nov 21 17:44 S8-3R3.HTM
  435. -rw-r--r--   1 root     root         1569 Nov 21 17:44 S8-3R4.HTM
  436. -rw-r--r--   1 root     root         3554 Nov 21 17:44 S8-4.HTM
  437. -rw-r--r--   1 root     root         2720 Nov 21 17:44 S8-4R1.HTM
  438. -rw-r--r--   1 root     root         1483 Nov 21 17:44 S8-4R2.HTM
  439. -rw-r--r--   1 root     root         5399 Nov 21 17:44 S8-5.HTM
  440. -rw-r--r--   1 root     root         1665 Nov 21 17:44 S8-5R1.HTM
  441. -rw-r--r--   1 root     root         1561 Nov 21 17:44 S8-5R2.HTM
  442. -rw-r--r--   1 root     root         1510 Nov 21 17:44 S8-5R3.HTM
  443. -rw-r--r--   1 root     root         4459 Nov 21 17:44 S8-F.HTM
  444. -rw-r--r--   1 root     root         1531 Nov 21 17:44 S8-FR1.HTM
  445. -rw-r--r--   1 root     root         1558 Nov 21 17:44 S8-FR2.HTM
  446. -rw-r--r--   1 root     root         1483 Nov 21 17:44 S8-FR3.HTM
  447. -rw-r--r--   1 root     root         4233 Nov 21 17:44 S9-1.HTM
  448. -rw-r--r--   1 root     root         1572 Nov 21 17:44 S9-1R1.HTM
  449. -rw-r--r--   1 root     root         1525 Nov 21 17:44 S9-1R2.HTM
  450. -rw-r--r--   1 root     root         1483 Nov 21 17:44 S9-1R3.HTM
  451. -rw-r--r--   1 root     root         4103 Nov 21 17:44 S9-2.HTM
  452. -rw-r--r--   1 root     root         1521 Nov 21 17:44 S9-2R1.HTM
  453. -rw-r--r--   1 root     root         1485 Nov 21 17:44 S9-2R2.HTM
  454. -rw-r--r--   1 root     root         1593 Nov 21 17:44 S9-2R3.HTM
  455. -rw-r--r--   1 root     root         3331 Nov 21 17:44 S9-3.HTM
  456. -rw-r--r--   1 root     root         4726 Nov 21 17:44 S9-F.HTM
  457. -rw-r--r--   1 root     root          959 Sep 11  1995 SHOW.ADB
  458. -rw-r--r--   1 root     root          585 Nov 21 17:07 SKIP1-1.HTM
  459. -rw-r--r--   1 root     root          888 Nov 14 17:17 SMALDEMO.HTM
  460. -rw-r--r--   1 root     root          894 Nov 21 16:43 SMALL.ADB
  461. -rw-r--r--   1 root     root          746 Nov 16 13:16 SMALL.GIF
  462. -rw-r--r--   1 root     root         6639 Dec  7 11:54 SMALL.HTM
  463. -rw-r--r--   1 root     root        30733 Dec  8 14:38 SMALL.TXT
  464. -rw-r--r--   1 root     root        12848 Dec  8 14:38 SMALL.ZIP
  465. -rw-r--r--   1 root     root        84241 Dec  8 14:38 SMALLALL.ZIP
  466. -rw-r--r--   1 root     root         2211 Dec  8 14:36 SMALLB.HTM
  467. -rw-r--r--   1 root     root          410 Dec  8 15:19 STATS
  468. -rw-r--r--   1 root     root         6803 Sep 22  1995 TEMPLATE
  469. -rw-r--r--   1 root     root         6866 Nov 21 16:59 THINGS.ADB
  470. -rw-r--r--   1 root     root         3841 Nov 21 16:53 THINGS.ADS
  471. -rw-r--r--   1 root     root        11924 Dec  8 14:36 THINGSB.HTM
  472. -rw-r--r--   1 root     root         7340 Dec  8 14:36 THINGSS.HTM
  473. -rw-r--r--   1 root     root          196 Mar  6  1995 TINYHOME.GIF
  474. -rw-r--r--   1 root     root         5913 Nov 16 14:41 TODO-LES.TXT
  475. -rw-r--r--   1 root     root          863 Aug 17  1995 TODOMISC.TXT
  476. -rw-r--r--   1 root     root         8288 Nov 21 17:07 TUTORS.HTM
  477. -rw-r--r--   1 root     root         5807 Sep 22  1995 TXT-TEMP
  478. -rw-r--r--   1 root     root          745 Apr 28  1995 UNBOUND.ADB
  479. -rw-r--r--   1 root     root          174 Mar  6  1995 UP.GIF
  480. -rw-r--r--   1 root     root         7210 Nov 21 17:28 USERG.HTM
  481. -rw-r--r--   1 root     root         3622 Dec  8 14:36 USTRINGB.HTM
  482. -rw-r--r--   1 root     root         1951 Oct 21  1995 USTRINGS.ADB
  483. -rw-r--r--   1 root     root         2333 Nov 16 13:47 USTRINGS.ADS
  484. -rw-r--r--   1 root     root         4359 Dec  8 14:36 USTRINGS.HTM
  485. -rw-r--r--   1 root     root            4 Nov 14 17:22 VERSION
  486. -rw-r--r--   1 root     root         1161 Jul 19  1995 WHITMIS1.JPG
  487. -rw-r--r--   1 root     root         1545 Oct 25  1995 WORLD.ADB
  488. -rw-r--r--   1 root     root          253 Oct 24  1995 WORLD.ADS
  489. -rw-r--r--   1 root     root         4153 Dec  8 14:36 WORLDB.HTM
  490. -rw-r--r--   1 root     root         1532 Dec  8 14:36 WORLDS.HTM
  491. -rw-r--r--   1 root     root         4104 Dec  7 17:25 XIAN.HTM
  492. -rw-r--r--   1 root     root          333 Mar 18  1995 YES_NO.ADB
  493. -rw-r--r--   1 root     root        30581 Apr 25 19:47 unzip.exe
  494.  
  495. docs/misc:
  496. total 211
  497. -rw-r--r--   1 root     root        67772 Nov 14  1994 cpp.ps
  498. -rw-r--r--   1 root     root         1087 Apr 26 17:24 ls_lR
  499. drwxr-xr-x   2 root     root         1024 Apr 26 17:28 old/
  500. -rw-r--r--   1 root     root       142318 Nov 14  1994 triada.ps
  501.  
  502. docs/misc/old:
  503. total 299
  504. -rw-r--r--   1 root     root         1222 Dec 13  1993 README
  505. -rw-r--r--   1 root     root         2209 Jun 14  1993 boot
  506. -rw-r--r--   1 root     root        12437 Apr 29  1993 gnatchat.1
  507. -rw-r--r--   1 root     root        43468 Apr 29  1993 gnatchat.2
  508. -rw-r--r--   1 root     root        22655 Apr 30  1993 gnatchat.3
  509. -rw-r--r--   1 root     root        57602 Apr 29  1993 gnote1.doc
  510. -rw-r--r--   1 root     root        54727 Feb 16  1992 ieee.ads
  511. -rw-r--r--   1 root     root         3620 Nov  7  1993 newsn93
  512. -rw-r--r--   1 root     root        59037 Dec 23  1993 paper.tex
  513. -rw-r--r--   1 root     root        22870 May 11  1993 progress.d92
  514. -rw-r--r--   1 root     root        12071 Nov 10  1992 progress.n92
  515.  
  516. docs/papers:
  517. total 115
  518. -rw-r--r--   1 root     root       115964 Jun 12  1995 slides.ps
  519.  
  520. docs/rational:
  521. total 7089
  522. -rw-r--r--   1 root     root      1474560 Feb 29 10:12 html.tar
  523. -rw-r--r--   1 root     root       666653 Jul  6  1995 rat_1.ps
  524. -rw-r--r--   1 root     root       208850 Jul  6  1995 rat_1.txt
  525. -rw-r--r--   1 root     root       872736 Jul  6  1995 rat_2.ps
  526. -rw-r--r--   1 root     root       247456 Jul  6  1995 rat_2.txt
  527. -rw-r--r--   1 root     root       846959 Jul  6  1995 rat_3.ps
  528. -rw-r--r--   1 root     root       247249 Jul  6  1995 rat_3.txt
  529. -rw-r--r--   1 root     root       648909 Jul  6  1995 rat_4.ps
  530. -rw-r--r--   1 root     root       201932 Jul  6  1995 rat_4.txt
  531. -rw-r--r--   1 root     root       793062 Jul  6  1995 rat_5.ps
  532. -rw-r--r--   1 root     root       255489 Jul  6  1995 rat_5.txt
  533. -rw-r--r--   1 root     root       562136 Jul  6  1995 rat_6.ps
  534. -rw-r--r--   1 root     root       187093 Jul  6  1995 rat_6.txt
  535.  
  536. docs/rm:
  537. total 17404
  538. -rw-r--r--   1 root     root          814 Jan 15  1995 README
  539. -rw-r--r--   1 root     root      2816999 Jan 15  1995 aarm.doc
  540. -rw-r--r--   1 root     root      5457366 Jan 15  1995 aarm.ps
  541. -rw-r--r--   1 root     root       199572 Jan 15  1995 chg83.doc
  542. -rw-r--r--   1 root     root       319061 Jan 15  1995 chg83.ps
  543. -rw-r--r--   1 root     root      3702784 Mar 15  1995 html.tar
  544. -rw-r--r--   1 root     root      1712839 Jan 15  1995 rm.doc
  545. -rw-r--r--   1 root     root      3531126 Jan 15  1995 rm.ps
  546.  
  547. docs/success:
  548. total 2
  549. drwxr-xr-x   2 root     root         1024 Apr 25 13:31 ascii/
  550. drwxr-xr-x   2 root     root         1024 Apr 26 17:34 html/
  551.  
  552. docs/success/ascii:
  553. total 724
  554. -rw-r--r--   1 root     root         2934 Oct 19  1994 3ip.txt
  555. -rw-r--r--   1 root     root       213104 Sep 13  1994 ada-use.txt
  556. -rw-r--r--   1 root     root        24070 Sep 13  1994 adacplus.txt
  557. -rw-r--r--   1 root     root         5173 Sep 13  1994 aerofws.txt
  558. -rw-r--r--   1 root     root         2929 Oct 10  1994 airtraff.txt
  559. -rw-r--r--   1 root     root         3982 Sep 13  1994 alcatel.txt
  560. -rw-r--r--   1 root     root         4847 Sep 13  1994 banking.txt
  561. -rw-r--r--   1 root     root         7290 Sep 13  1994 biomed.txt
  562. -rw-r--r--   1 root     root         5305 Sep 13  1994 byronin.txt
  563. -rw-r--r--   1 root     root         1183 Oct 22  1994 cairo.txt
  564. -rw-r--r--   1 root     root        32558 Sep 13  1994 commapps.txt
  565. -rw-r--r--   1 root     root         4893 Sep 13  1994 cranehy.txt
  566. -rw-r--r--   1 root     root         4862 Sep 13  1994 cseetra.txt
  567. -rw-r--r--   1 root     root         4252 Sep 13  1994 cut-time.txt
  568. -rw-r--r--   1 root     root         5001 Sep 13  1994 dolphin.txt
  569. -rw-r--r--   1 root     root        12925 Sep 13  1994 embed-rt.txt
  570. -rw-r--r--   1 root     root         1509 Oct 22  1994 hongkong.txt
  571. -rw-r--r--   1 root     root         4491 Sep 13  1994 manufact.txt
  572. -rw-r--r--   1 root     root         4792 Sep 13  1994 medanal.txt
  573. -rw-r--r--   1 root     root         3490 Sep 13  1994 moblcomm.txt
  574. -rw-r--r--   1 root     root         4736 Oct 19  1994 oo-win.txt
  575. -rw-r--r--   1 root     root         9505 Oct 19  1994 pabx.txt
  576. -rw-r--r--   1 root     root        11589 Sep 13  1994 radiotel.txt
  577. -rw-r--r--   1 root     root         6054 Sep 13  1994 ricardo.txt
  578. -rw-r--r--   1 root     root        10668 Sep 13  1994 sidpers3.txt
  579. -rw-r--r--   1 root     root         1222 Oct 10  1994 subway.txt
  580. -rw-r--r--   1 root     root        33307 Sep 13  1994 success.txt
  581. -rw-r--r--   1 root     root         3007 Sep 13  1994 sunstra.txt
  582. -rw-r--r--   1 root     root         7721 Oct 22  1994 tgv.txt
  583. -rw-r--r--   1 root     root         4730 Sep 25  1994 train.txt
  584. -rw-r--r--   1 root     root       260702 Oct 19  1994 val-comp.txt
  585. -rw-r--r--   1 root     root         8124 Sep 13  1994 videoada.txt
  586. -rw-r--r--   1 root     root         9096 Sep 13  1994 windows.txt
  587.  
  588. docs/success/html:
  589. total 183
  590. -rw-r--r--   1 root     root         5397 Apr 24 21:00 3ip.htm
  591. -rw-r--r--   1 root     root        25858 Apr 24 21:00 adabooks.htm
  592. -rw-r--r--   1 root     root         5589 Apr 24 21:00 aerofws.htm
  593. -rw-r--r--   1 root     root         3188 Apr 24 21:00 airtraff.htm
  594. -rw-r--r--   1 root     root         4349 Apr 24 21:00 alcatel.htm
  595. -rw-r--r--   1 root     root         5563 Apr 24 21:00 banking.htm
  596. -rw-r--r--   1 root     root         7910 Apr 24 21:01 biomed.htm
  597. -rw-r--r--   1 root     root         5729 Apr 24 21:01 byronin.htm
  598. -rw-r--r--   1 root     root         1369 Apr 24 21:01 cairo.htm
  599. -rw-r--r--   1 root     root         5295 Apr 24 21:01 cranehy.htm
  600. -rw-r--r--   1 root     root         5240 Apr 24 21:01 cseetra.htm
  601. -rw-r--r--   1 root     root         4982 Apr 24 21:01 cut-time.htm
  602. -rw-r--r--   1 root     root         5420 Apr 24 21:01 dolphin.htm
  603. -rw-r--r--   1 root     root         1732 Apr 24 21:01 hongkong.htm
  604. -rw-r--r--   1 root     root         5085 Apr 24 21:02 manufact.htm
  605. -rw-r--r--   1 root     root         5403 Apr 24 21:02 medanal.htm
  606. -rw-r--r--   1 root     root         4102 Apr 24 21:02 moblcomm.htm
  607. -rw-r--r--   1 root     root        12236 Apr 24 21:02 radiotel.htm
  608. -rw-r--r--   1 root     root         6434 Apr 24 21:02 ricardo.htm
  609. -rw-r--r--   1 root     root        11140 Apr 24 21:02 sidpers3.htm
  610. -rw-r--r--   1 root     root         1410 Apr 24 21:02 subway.htm
  611. -rw-r--r--   1 root     root         2963 Apr 24 21:03 success.htm
  612. -rw-r--r--   1 root     root         3341 Apr 24 21:03 sunstra.htm
  613. -rw-r--r--   1 root     root         8089 Apr 24 21:03 tgv.htm
  614. -rw-r--r--   1 root     root         5203 Apr 24 21:03 train.htm
  615. -rw-r--r--   1 root     root         8700 Apr 24 21:03 videoada.htm
  616. -rw-r--r--   1 root     root         9518 Apr 24 21:03 windows.htm
  617.  
  618. gnat:
  619. total 40
  620. -rw-r--r--   1 root     root        24689 Mar  4 20:50 README
  621. drwxr-xr-x   2 root     root         1024 Apr 26 17:19 dos/
  622. -rw-r--r--   1 root     root         3179 Mar  4 05:16 features.Z
  623. drwxr-xr-x   4 root     root         1024 Apr 25 12:41 gnat2_X/
  624. drwxr-xr-x   7 root     root         1024 Apr 25 12:39 gnat3_03/
  625. -rw-r--r--   1 root     root         4853 Apr 26 17:05 ls_lR
  626. drwxr-xr-x   4 root     root         1024 Apr 25 12:56 misc/
  627. drwxr-xr-x   2 root     root         1024 Apr 26 17:21 win95/
  628.  
  629. gnat/dos:
  630. total 5329
  631. -rw-r--r--   1 root     root      1164480 Mar  4 05:15 djgpp.zip
  632. -rw-r--r--   1 root     root      1440000 Mar  4 05:13 gnat_1.zip
  633. -rw-r--r--   1 root     root      1439995 Mar  4 05:13 gnat_2.zip
  634. -rw-r--r--   1 root     root      1382128 Mar  4 05:14 gnat_3.zip
  635.  
  636. gnat/gnat2_X:
  637. total 2
  638. drwxr-xr-x   2 root     root         1024 Apr 26 17:19 aix/
  639. drwxr-xr-x   2 root     root         1024 Apr 26 17:20 m68k_sun/
  640.  
  641. gnat/gnat2_X/aix:
  642. total 4413
  643. -rw-r--r--   1 root     root      4498747 Jul 18  1995 gnataix.tgz
  644.  
  645. gnat/gnat2_X/m68k_sun:
  646. total 0
  647. -rw-r--r--   1 root     root            0 Jul 12  1995 gnatm68k.tgz
  648.  
  649. gnat/gnat3_03:
  650. total 5
  651. drwxr-xr-x   2 root     root         1024 Apr 26 17:07 linux/
  652. drwxr-xr-x   2 root     root         1024 Apr 26 17:08 next/
  653. drwxr-xr-x   2 root     root         1024 Apr 26 17:09 solaris/
  654. drwxr-xr-x   2 root     root         1024 Apr 26 17:09 sources/
  655. drwxr-xr-x   2 root     root         1024 Apr 26 17:09 sparc/
  656.  
  657. gnat/gnat3_03/linux:
  658. total 7949
  659. -rw-r--r--   1 root     root         1337 Jan  5 05:47 README
  660. -rw-r--r--   1 root     root      2995376 Jan  5 05:48 gnataout.tgz
  661. -rw-r--r--   1 root     root      5106045 Feb 26 19:03 gnatelf.tgz
  662.  
  663. gnat/gnat3_03/next:
  664. total 12956
  665. -rw-r--r--   1 root     root      3475041 Mar 21 23:21 gnati386.tgz
  666. -rw-r--r--   1 root     root      9735777 Feb  8 11:58 gnatm68k.tgz
  667.  
  668. gnat/gnat3_03/solaris:
  669. total 4019
  670. -rw-r--r--   1 root     root         1759 Mar  1 22:31 README
  671. -rw-r--r--   1 root     root      4094981 Mar  1 22:32 gnati386.tgz
  672.  
  673. gnat/gnat3_03/sources:
  674. total 2221
  675. -rw-r--r--   1 root     root      2263835 Feb 26 03:59 gnatsrc.tgz
  676.  
  677. gnat/gnat3_03/sparc:
  678. total 7955
  679. -rw-r--r--   1 root     root      3898922 Feb 26 03:57 solaris.tgz
  680. -rw-r--r--   1 root     root      4211354 Feb 26 03:58 sunos.tgz
  681.  
  682. gnat/misc:
  683. total 88
  684. drwxr-xr-x   6 root     root         1024 Apr 26 17:15 contrib/
  685. drwxr-xr-x   2 root     root         1024 Apr 26 17:16 gdb/
  686. -rw-r--r--   1 root     root        86064 Feb 26  1994 gnupatch.zip
  687.  
  688. gnat/misc/contrib:
  689. total 4
  690. drwxr-xr-x   2 root     root         1024 Apr 26 17:11 forest/
  691. drwxr-xr-x   2 root     root         1024 Apr 24 20:25 gwu/
  692. drwxr-xr-x   2 root     root         1024 Apr 26 17:13 lapack/
  693. drwxr-xr-x   4 root     root         1024 Apr 24 20:26 os2/
  694.  
  695. gnat/misc/contrib/forest:
  696. total 1795
  697. -rw-r--r--   1 root     root          714 Apr 25  1995 README
  698. -rw-r--r--   1 root     root       565946 Apr 25  1995 for12.tgz
  699. -rw-r--r--   1 root     root       580513 Sep  5  1995 for13.tgz
  700. -rw-r--r--   1 root     root       677798 Jan  2 21:16 for14b.tgz
  701.  
  702. gnat/misc/contrib/gwu:
  703. total 1193
  704. -rw-r--r--   1 root     root      1215415 Mar  4 20:38 editors.zip
  705.  
  706. gnat/misc/contrib/lapack:
  707. total 150
  708. -rw-r--r--   1 root     root         2926 Mar 19 20:23 INSTALL
  709. -rw-r--r--   1 root     root         1981 Mar 19 20:23 README
  710. -rw-r--r--   1 root     root       147147 Mar 19 20:23 lapack.tgz
  711.  
  712. gnat/misc/contrib/os2:
  713. total 2
  714. drwxr-xr-x   2 root     root         1024 Apr 26 17:15 PM/
  715. drwxr-xr-x   2 root     root         1024 Apr 24 20:26 bindings/
  716.  
  717. gnat/misc/contrib/os2/PM:
  718. total 403
  719. -rw-r--r--   1 root     root         1778 Apr 28  1995 README.1st
  720. -rw-r--r--   1 root     root         1241 Apr 28  1995 announce
  721. -rw-r--r--   1 root     root       318958 Apr 28  1995 pm_v17e.zip
  722. -rw-r--r--   1 root     root        84759 Apr 28  1995 pm_v17s.zip
  723.  
  724. gnat/misc/contrib/os2/bindings:
  725. total 90
  726. -rw-r--r--   1 root     root        88615 Nov  8 13:43 os2bnd02.zip
  727. -rw-r--r--   1 root     root         1830 Nov  8 13:42 readme.txt
  728.  
  729. gnat/misc/gdb:
  730. total 5484
  731. -rw-r--r--   1 root     root      5514903 Dec 20 23:40 gdb.tgz
  732. -rw-r--r--   1 root     root        76699 Dec 20 23:38 gdbsrc.tgz
  733.  
  734. gnat/win95:
  735. total 5927
  736. -rw-r--r--   1 root     root          213 Jan 15 22:17 readme.NT
  737. -rw-r--r--   1 root     root         1577 Jan  5 06:37 readme.w95
  738. -rw-r--r--   1 root     root      6040812 Jan  5 06:37 setup.exe
  739.  
  740. packages:
  741. total 113
  742. -rw-r--r--   1 root     root        27468 Apr 29 18:43 bc130496.zip
  743. drwxr-xr-x   3 root     root         1024 Apr 29 18:44 booch/
  744. -rw-r--r--   1 david    root        81920 Apr 14 04:20 booch.tar
  745. drwxr-xr-x   2 root     root         1024 Apr 24 20:50 ez2load/
  746. drwxr-xr-x   2 root     root         1024 Apr 26 21:14 lgl/
  747. drwxr-xr-x   2 root     root         1024 Apr 25 20:57 win32ada/
  748.  
  749. packages/booch:
  750. total 192
  751. -rw-r--r--   1 root     root         1546 Apr 13 20:50 ACL
  752. -rw-r--r--   1 root     root        56608 Apr 13 21:24 ALLSRC
  753. -rw-r--r--   1 root     root        17982 Apr 13 20:47 COPYING
  754. -rw-r--r--   1 root     root          120 Apr 13 20:52 OPENBUGS.TXT
  755. -rw-r--r--   1 root     root         1637 Apr 13 21:11 README
  756. -rw-r--r--   1 root     root          544 Apr 13 21:19 README.1ST
  757. -rw-r--r--   1 root     root        27468 Apr 29 18:44 bc130496.zip
  758. drwxr-xr-x   2 david    root         1024 Apr 14 04:20 booch/
  759. -rw-r--r--   1 root     root        81920 Apr 13 21:20 booch.tar
  760.  
  761. packages/ez2load:
  762. total 10446
  763. -rw-r--r--   1 root     root         8174 Apr 24 20:02 README
  764. -rw-r--r--   1 root     root          333 Apr 24 20:02 README.DSK
  765. -rw-r--r--   1 root     root      1227201 Apr 24 20:11 adaed1.zip
  766. -rw-r--r--   1 root     root       696734 Apr 24 20:16 adaed2.zip
  767. -rw-r--r--   1 root     root       364874 Apr 24 20:45 adatui.zip
  768. -rw-r--r--   1 root     root       233286 Apr 24 20:17 adatutor.zip
  769. -rw-r--r--   1 root     root        17864 Apr 24 20:14 dinstall.exe
  770. -rw-r--r--   1 root     root      1143919 Apr 24 20:40 djg112m4.zip
  771. -rw-r--r--   1 root     root      1215415 Apr 24 20:46 editors.zip
  772. -rw-r--r--   1 root     root        17918 Apr 24 20:14 ginstall.exe
  773. -rw-r--r--   1 root     root      1399980 Apr 24 20:32 gnat3011.zip
  774. -rw-r--r--   1 root     root      1399995 Apr 24 20:33 gnat3012.zip
  775. -rw-r--r--   1 root     root      1266095 Apr 24 20:41 gnat3013.zip
  776. -rw-r--r--   1 root     root         2386 Apr 24 20:15 install.scr
  777. -rw-r--r--   1 root     root      1150728 Apr 24 20:51 lovelace.zip
  778. -rw-r--r--   1 root     root       101946 Apr 24 20:50 misc.zip
  779. -rw-r--r--   1 root     root        30581 Apr 24 20:15 unzip.exe
  780. -rw-r--r--   1 root     root        64488 Apr 24 20:51 vgapck04.zip
  781. -rw-r--r--   1 root     root       284555 Apr 24 20:43 winhelp.zip
  782.  
  783. packages/lgl:
  784. total 652
  785. -rw-r--r--   1 root     root       112316 Dec  5 15:50 lgl_ADT_components.tar.gz
  786. -rw-r--r--   1 root     root       354847 Apr 26  1995 lgl_Gramact.tar.gz
  787. -rw-r--r--   1 root     root       151327 Jun  6  1995 lgl_System_components.tar.gz
  788. -rw-r--r--   1 root     root        41514 Feb  1  1995 lgl_Text_Processing_components.tar.gz
  789.  
  790. packages/win32ada:
  791. total 3666
  792. -rw-r--r--   1 root     root      3285920 Mar 21 12:35 DATA.Z
  793. -rw-r--r--   1 root     root            3 Apr  7  1995 DISK1.ID
  794. -rw-r--r--   1 root     root          727 Dec 13 08:05 READ.ME
  795. -rw-r--r--   1 root     root       391168 May 26  1995 SETUP.EXE
  796. -rw-r--r--   1 root     root         5545 Mar 21 12:35 SETUP.INS
  797. -rw-r--r--   1 root     root         6883 Mar 21 12:35 SETUP.PKG
  798. -rw-r--r--   1 root     root         6656 Apr  7  1995 _SETUP.DLL
  799. -rw-r--r--   1 root     root        29697 May 17  1995 _SETUP.LIB
  800. -rw-r--r--   1 root     root         4591 Mar 21 15:41 win32ada.htm
  801.  
  802. utl:
  803. total 459
  804. -rw-r--r--   1 root     root        39910 May 27  1994 GZIP.EXE
  805. -rw-r--r--   1 root     root       130062 Jan  6  1995 emacs.tgz
  806. -rw-r--r--   1 root     root          353 Apr 26 17:35 ls_lR
  807. -rw-r--r--   1 root     root       114367 Aug  3  1993 unz50x32.exe
  808. -rw-r--r--   1 root     root       146915 Sep  7  1994 unz511x.exe
  809. -rw-r--r--   1 root     root        30581 Apr 25 13:32 unzip.exe
  810.