buttons:[prev][next]                 
  [datetime]     [Filnam.ext][prj,prg]rev   [size]
  1. 1982-09-30 08:25 ERRATA.TXT [TUG,DEK] 1 1280
  2. 1982-10-18 11:59 ERRATA.TXT [TUG,DEK] 2 2560
  3. 1982-10-28 07:11 ERRATA.TXT [TUG,DEK] 3 3200
  4. 1982-11-13 12:59 ERRATA.TXT [TUG,DEK] 4 3200
  5. 1982-09-07 12:56 INTRIP.LOG [TUG,DEK] 1 640
  6. 1983-12-01 16:30 LETTER.TEX [TUG,DEK] 1 5120
  7. 1982-09-18 20:47 MANUAL.TEX [TUG,DEK] 1 24960
  8. 1982-09-26 23:18 MANUAL.TEX [TUG,DEK] 2 24960
  9. 1982-11-02 04:35 MANUAL.TEX [TUG,DEK] 3 24960
  10. 1982-11-02 04:35 MANUAL.TEX [TUG,DEK] 4 24960
  11. 1982-11-16 22:50 MANUAL.TEX [TUG,DEK] 5 24960
  12. 1983-01-10 22:33 MANUAL.TEX [TUG,DEK] 6 24960
  13. 1983-01-29 12:18 MANUAL.TEX [TUG,DEK] 7 24960
  14. 1983-02-09 15:56 MANUAL.TEX [TUG,DEK] 8 24960
  15. 1983-04-16 19:01 MANUAL.TEX [TUG,DEK] 9 24960
  16. 1983-06-05 19:09 MANUAL.TEX [TUG,DEK] 10 24960
  17. 1983-07-21 02:02 MANUAL.TEX [TUG,DEK] 11 25600
  18. 1983-08-18 14:01 MANUAL.TEX [TUG,DEK] 12 25600
  19. 1983-12-01 00:16 MANUAL.TEX [TUG,DEK] 13 25600
  20. 1984-08-02 21:36 MANUAL.TEX [TUG,DEK] 14 25600
  21. 1984-11-25 15:05 MANUAL.TEX [TUG,DEK] 15 25600
  22. 1984-12-13 12:08 MANUAL.TEX [TUG,DEK] 16 25600
  23. 1985-01-21 20:03 MANUAL.TEX [TUG,DEK] 17 25600
  24. 1985-04-18 00:20 MANUAL.TEX [TUG,DEK] 18 25600
  25. 1982-09-29 09:42 MEMO .DVI [TUG,DEK] 1 8740
  26. 1982-09-29 09:42 MEMO .TEX [TUG,DEK] 1 6400
  27. 1982-10-26 20:41 MEMO .TEX [TUG,DEK] 2 6400
  28. 1982-10-26 20:41 MEMO .TEX [TUG,DEK] 3 6400
  29. 1982-07-27 02:13 TEX . CH [TUG,DEK] 1 51200
  30. 1982-07-27 02:09 TEX .WEB [TUG,DEK] 1 889600
  31. 1982-09-20 23:10 TITLE .TEX [TUG,DEK] 1 1920
  32. 1982-10-26 20:42 TITLE .TEX [TUG,DEK] 2 1920
  33. 1983-01-29 12:18 TITLE .TEX [TUG,DEK] 3 1920
  34. 1983-07-19 05:40 TITLE .TEX [TUG,DEK] 4 1920
  35. 1983-12-01 00:15 TITLE .TEX [TUG,DEK] 5 1920
  36. 1984-08-02 12:48 TRAP . MF [TUG,DEK] 1 10240
  37. 1984-09-12 20:07 TRAP . MF [TUG,DEK] 2 10880
  38. 1984-09-27 11:38 TRAP . MF [TUG,DEK] 3 10880
  39. 1984-10-11 20:09 TRAP . MF [TUG,DEK] 4 10880
  40. 1984-11-09 19:23 TRAP . MF [TUG,DEK] 5 10880
  41. 1984-12-10 20:24 TRAP . MF [TUG,DEK] 6 11520
  42. 1985-01-23 02:07 TRAP . MF [TUG,DEK] 7 11520
  43. 1985-02-02 16:54 TRAP . MF [TUG,DEK] 8 11520
  44. 1985-04-04 02:10 TRAP . MF [TUG,DEK] 9 11520
  45. 1985-05-12 21:46 TRAP . MF [TUG,DEK] 10 12160
  46. 1985-09-05 20:12 TRAP . MF [TUG,DEK] 11 12160
  47. 1985-10-25 19:48 TRAP . MF [TUG,DEK] 12 12160
  48. 1984-07-28 21:48 TRAP . PL [TUG,DEK] 1 2325
  49. 1985-04-01 03:40 TRAP . PL [TUG,DEK] 2 2350
  50. 1985-05-10 03:15 TRAP . PL [TUG,DEK] 3 2350
  51. 1984-08-02 13:15 TRAP .FOT [TUG,DEK] 1 3200
  52. 1984-09-12 20:19 TRAP .FOT [TUG,DEK] 2 2560
  53. 1984-09-27 11:49 TRAP .FOT [TUG,DEK] 3 3200
  54. 1984-10-11 20:13 TRAP .FOT [TUG,DEK] 4 3200
  55. 1984-11-09 19:54 TRAP .FOT [TUG,DEK] 5 3200
  56. 1984-12-10 20:48 TRAP .FOT [TUG,DEK] 6 1920
  57. 1985-01-23 02:23 TRAP .FOT [TUG,DEK] 7 1920
  58. 1985-02-02 17:01 TRAP .FOT [TUG,DEK] 8 1920
  59. 1985-02-16 17:38 TRAP .FOT [TUG,DEK] 9 1920
  60. 1985-04-04 02:13 TRAP .FOT [TUG,DEK] 10 1920
  61. 1985-05-12 22:35 TRAP .FOT [TUG,DEK] 11 1920
  62. 1985-09-05 20:23 TRAP .FOT [TUG,DEK] 12 1920
  63. 1986-01-04 09:37 TRAP .FOT [TUG,DEK] 13 1920
  64. 1986-08-06 06:16 TRAP .FOT [TUG,DEK] 14 1920
  65. 1984-09-12 20:15 TRAP .LOG [TUG,DEK] 1 110830
  66. 1984-09-27 11:45 TRAP .LOG [TUG,DEK] 2 111585
  67. 1984-10-11 20:11 TRAP .LOG [TUG,DEK] 3 116505
  68. 1984-11-09 19:48 TRAP .LOG [TUG,DEK] 4 117635
  69. 1984-12-10 20:40 TRAP .LOG [TUG,DEK] 5 117165
  70. 1985-01-23 02:08 TRAP .LOG [TUG,DEK] 6 117830
  71. 1985-02-02 16:55 TRAP .LOG [TUG,DEK] 7 117840
  72. 1985-02-16 17:33 TRAP .LOG [TUG,DEK] 8 117850
  73. 1985-04-04 02:10 TRAP .LOG [TUG,DEK] 9 118560
  74. 1985-05-12 22:34 TRAP .LOG [TUG,DEK] 10 123040
  75. 1985-09-05 20:14 TRAP .LOG [TUG,DEK] 11 123295
  76. 1986-01-04 11:59 TRAP .LOG [TUG,DEK] 12 123520
  77. 1986-08-06 06:18 TRAP .LOG [TUG,DEK] 13 123520
  78. 1985-01-15 22:05 TRAP .SAV [TUG,DEK] 1 117165
  79. 1984-08-02 20:07 TRAP .TEX [TUG,DEK] 1 25600
  80. 1984-08-29 20:17 TRAP .TEX [TUG,DEK] 2 25600
  81. 1984-10-08 12:21 TRAP .TEX [TUG,DEK] 3 25600
  82. 1984-12-06 13:47 TRAP .TEX [TUG,DEK] 4 25600
  83. 1985-01-21 20:03 TRAP .TEX [TUG,DEK] 5 25600
  84. 1985-04-19 23:58 TRAP .TEX [TUG,DEK] 6 25600
  85. 1985-08-11 19:16 TRAP .TEX [TUG,DEK] 7 25600
  86. 1984-08-02 13:06 TRAP .TYP [TUG,DEK] 1 4325
  87. 1984-08-16 21:36 TRAP .TYP [TUG,DEK] 2 4480
  88. 1984-09-12 20:33 TRAP .TYP [TUG,DEK] 3 4665
  89. 1984-09-27 11:50 TRAP .TYP [TUG,DEK] 4 4665
  90. 1984-10-11 20:15 TRAP .TYP [TUG,DEK] 5 4665
  91. 1984-11-09 19:55 TRAP .TYP [TUG,DEK] 6 4665
  92. 1984-12-10 20:47 TRAP .TYP [TUG,DEK] 7 4550
  93. 1985-01-23 02:22 TRAP .TYP [TUG,DEK] 8 4565
  94. 1985-02-02 16:58 TRAP .TYP [TUG,DEK] 9 4525
  95. 1985-04-04 02:12 TRAP .TYP [TUG,DEK] 10 4710
  96. 1985-05-12 22:36 TRAP .TYP [TUG,DEK] 11 4710
  97. 1985-09-05 20:27 TRAP .TYP [TUG,DEK] 12 4710
  98. 1986-01-04 09:39 TRAP .TYP [TUG,DEK] 13 4760
  99. 1986-08-06 06:19 TRAP .TYP [TUG,DEK] 14 4760
  100. 1984-08-02 12:48 TRAPIN.LOG [TUG,DEK] 1 3430
  101. 1984-09-12 20:14 TRAPIN.LOG [TUG,DEK] 2 3430
  102. 1984-09-27 09:14 TRAPIN.LOG [TUG,DEK] 3 3430
  103. 1984-10-11 20:09 TRAPIN.LOG [TUG,DEK] 4 3430
  104. 1984-11-09 19:13 TRAPIN.LOG [TUG,DEK] 5 4140
  105. 1984-12-10 20:38 TRAPIN.LOG [TUG,DEK] 6 4605
  106. 1985-01-23 02:02 TRAPIN.LOG [TUG,DEK] 7 4605
  107. 1985-02-02 16:54 TRAPIN.LOG [TUG,DEK] 8 4600
  108. 1985-02-16 17:25 TRAPIN.LOG [TUG,DEK] 9 4605
  109. 1985-04-04 01:35 TRAPIN.LOG [TUG,DEK] 10 4600
  110. 1985-05-12 22:33 TRAPIN.LOG [TUG,DEK] 11 4595
  111. 1985-09-05 19:35 TRAPIN.LOG [TUG,DEK] 12 4625
  112. 1986-01-04 09:32 TRAPIN.LOG [TUG,DEK] 13 4625
  113. 1986-08-06 06:07 TRAPIN.LOG [TUG,DEK] 14 4625
  114. 1986-01-04 11:50 TRAPMN.TEX [TUG,DEK] 1 25600
  115. 1982-07-25 15:55 TRIP . PL [TUG,DEK] 1 2125
  116. 1982-09-12 14:31 TRIP . PL [TUG,DEK] 2 2560
  117. 1983-09-04 20:43 TRIP . PL [TUG,DEK] 3 2245
  118. 1984-02-28 02:03 TRIP . PL [TUG,DEK] 4 2105
  119. 1982-07-25 15:58 TRIP .DVI [TUG,DEK] 1 915
  120. 1982-09-07 11:44 TRIP .DVI [TUG,DEK] 2 3335
  121. 1982-07-25 15:58 TRIP .ERR [TUG,DEK] 1 14730
  122. 1982-09-22 21:02 TRIP .FOT [TUG,DEK] 1 33280
  123. 1982-10-15 15:41 TRIP .FOT [TUG,DEK] 2 33280
  124. 1982-11-02 05:20 TRIP .FOT [TUG,DEK] 3 32640
  125. 1982-11-02 05:20 TRIP .FOT [TUG,DEK] 4 32640
  126. 1982-12-02 23:19 TRIP .FOT [TUG,DEK] 5 34560
  127. 1983-01-09 21:13 TRIP .FOT [TUG,DEK] 6 37760
  128. 1983-01-31 00:06 TRIP .FOT [TUG,DEK] 7 42240
  129. 1983-03-16 21:28 TRIP .FOT [TUG,DEK] 8 42880
  130. 1983-04-16 00:36 TRIP .FOT [TUG,DEK] 9 44160
  131. 1983-06-01 00:26 TRIP .FOT [TUG,DEK] 10 43520
  132. 1983-06-19 15:07 TRIP .FOT [TUG,DEK] 11 2560
  133. 1983-07-27 01:09 TRIP .FOT [TUG,DEK] 12 2560
  134. 1983-09-05 15:09 TRIP .FOT [TUG,DEK] 13 3200
  135. 1983-09-26 21:47 TRIP .FOT [TUG,DEK] 14 3200
  136. 1984-02-15 22:18 TRIP .FOT [TUG,DEK] 15 2560
  137. 1984-07-09 11:02 TRIP .FOT [TUG,DEK] 16 2560
  138. 1984-09-21 14:25 TRIP .FOT [TUG,DEK] 17 3200
  139. 1984-10-20 11:57 TRIP .FOT [TUG,DEK] 18 3200
  140. 1984-11-25 18:59 TRIP .FOT [TUG,DEK] 19 3200
  141. 1985-04-17 01:04 TRIP .FOT [TUG,DEK] 20 3200
  142. 1985-08-07 21:02 TRIP .FOT [TUG,DEK] 21 3200
  143. 1982-09-08 17:00 TRIP .LOG [TUG,DEK] 1 130470
  144. 1982-10-15 15:42 TRIP .LOG [TUG,DEK] 2 132480
  145. 1982-11-02 05:18 TRIP .LOG [TUG,DEK] 3 132145
  146. 1982-12-02 23:16 TRIP .LOG [TUG,DEK] 4 134825
  147. 1983-01-09 20:54 TRIP .LOG [TUG,DEK] 5 146660
  148. 1983-01-31 00:00 TRIP .LOG [TUG,DEK] 6 158665
  149. 1983-03-16 20:40 TRIP .LOG [TUG,DEK] 7 168310
  150. 1983-04-16 19:04 TRIP .LOG [TUG,DEK] 8 170240
  151. 1983-04-16 19:04 TRIP .LOG [TUG,DEK] 9 170240
  152. 1983-05-16 14:53 TRIP .LOG [TUG,DEK] 10 170240
  153. 1983-06-19 15:05 TRIP .LOG [TUG,DEK] 11 171150
  154. 1983-07-27 01:05 TRIP .LOG [TUG,DEK] 12 176640
  155. 1983-09-05 15:06 TRIP .LOG [TUG,DEK] 13 178435
  156. 1983-09-26 21:41 TRIP .LOG [TUG,DEK] 14 177805
  157. 1983-11-10 00:58 TRIP .LOG [TUG,DEK] 15 178115
  158. 1984-02-15 22:19 TRIP .LOG [TUG,DEK] 16 178560
  159. 1984-03-02 20:20 TRIP .LOG [TUG,DEK] 17 177775
  160. 1984-04-12 02:36 TRIP .LOG [TUG,DEK] 18 178770
  161. 1984-07-08 21:05 TRIP .LOG [TUG,DEK] 19 180890
  162. 1984-07-08 21:05 TRIP .LOG [TUG,DEK] 20 180890
  163. 1984-09-21 14:17 TRIP .LOG [TUG,DEK] 21 181510
  164. 1984-10-20 11:55 TRIP .LOG [TUG,DEK] 22 181800
  165. 1984-11-25 18:59 TRIP .LOG [TUG,DEK] 23 182400
  166. 1985-04-18 03:06 TRIP .LOG [TUG,DEK] 24 183770
  167. 1985-08-07 21:02 TRIP .LOG [TUG,DEK] 25 184320
  168. 1982-07-25 15:58 TRIP .TEX [TUG,DEK] 1 14080
  169. 1982-09-13 20:46 TRIP .TEX [TUG,DEK] 2 17280
  170. 1982-09-22 20:27 TRIP .TEX [TUG,DEK] 3 17280
  171. 1982-09-30 14:53 TRIP .TEX [TUG,DEK] 4 17280
  172. 1982-10-10 14:59 TRIP .TEX [TUG,DEK] 5 17280
  173. 1982-11-02 05:15 TRIP .TEX [TUG,DEK] 6 17920
  174. 1982-12-02 22:35 TRIP .TEX [TUG,DEK] 7 18560
  175. 1983-01-09 20:38 TRIP .TEX [TUG,DEK] 8 19200
  176. 1983-01-29 15:19 TRIP .TEX [TUG,DEK] 9 19840
  177. 1983-03-16 17:45 TRIP .TEX [TUG,DEK] 10 19840
  178. 1983-04-16 00:31 TRIP .TEX [TUG,DEK] 11 20480
  179. 1983-05-31 23:53 TRIP .TEX [TUG,DEK] 12 21120
  180. 1983-06-19 14:57 TRIP .TEX [TUG,DEK] 13 21120
  181. 1983-07-27 01:01 TRIP .TEX [TUG,DEK] 14 21760
  182. 1983-09-05 14:41 TRIP .TEX [TUG,DEK] 15 21760
  183. 1983-09-17 20:12 TRIP .TEX [TUG,DEK] 16 21760
  184. 1983-11-10 00:58 TRIP .TEX [TUG,DEK] 17 21760
  185. 1984-03-02 20:18 TRIP .TEX [TUG,DEK] 18 21760
  186. 1984-04-12 02:36 TRIP .TEX [TUG,DEK] 19 21760
  187. 1984-07-08 21:05 TRIP .TEX [TUG,DEK] 20 21760
  188. 1984-09-21 14:10 TRIP .TEX [TUG,DEK] 21 22400
  189. 1984-10-20 11:51 TRIP .TEX [TUG,DEK] 22 22400
  190. 1985-04-18 02:53 TRIP .TEX [TUG,DEK] 23 22400
  191. 1985-08-07 20:57 TRIP .TEX [TUG,DEK] 24 22400
  192. 1982-07-25 15:56 TRIP .TFM [TUG,DEK] 1 1000
  193. 1982-07-25 16:01 TRIP .TYP [TUG,DEK] 1 12460
  194. 1982-09-08 17:12 TRIP .TYP [TUG,DEK] 2 61880
  195. 1982-09-22 20:41 TRIP .TYP [TUG,DEK] 3 59330
  196. 1982-10-15 15:42 TRIP .TYP [TUG,DEK] 4 59520
  197. 1982-11-02 05:30 TRIP .TYP [TUG,DEK] 5 59520
  198. 1982-11-02 05:30 TRIP .TYP [TUG,DEK] 6 59520
  199. 1982-12-02 23:22 TRIP .TYP [TUG,DEK] 7 59435
  200. 1983-01-09 21:15 TRIP .TYP [TUG,DEK] 8 61045
  201. 1983-01-31 00:07 TRIP .TYP [TUG,DEK] 9 61385
  202. 1983-03-16 21:24 TRIP .TYP [TUG,DEK] 10 61390
  203. 1983-04-16 00:35 TRIP .TYP [TUG,DEK] 11 61390
  204. 1983-06-01 00:26 TRIP .TYP [TUG,DEK] 12 62600
  205. 1983-06-19 15:07 TRIP .TYP [TUG,DEK] 13 62165
  206. 1983-07-27 01:12 TRIP .TYP [TUG,DEK] 14 62040
  207. 1983-09-05 15:09 TRIP .TYP [TUG,DEK] 15 62160
  208. 1983-09-26 21:47 TRIP .TYP [TUG,DEK] 16 62160
  209. 1983-11-10 01:05 TRIP .TYP [TUG,DEK] 17 62160
  210. 1983-11-10 01:05 TRIP .TYP [TUG,DEK] 18 62160
  211. 1984-02-13 22:40 TRIP .TYP [TUG,DEK] 19 62160
  212. 1984-03-06 22:54 TRIP .TYP [TUG,DEK] 20 62720
  213. 1984-04-12 16:45 TRIP .TYP [TUG,DEK] 21 62720
  214. 1984-04-27 13:05 TRIP .TYP [TUG,DEK] 22 62720
  215. 1984-05-04 19:42 TRIP .TYP [TUG,DEK] 23 62720
  216. 1984-05-04 19:42 TRIP .TYP [TUG,DEK] 24 62720
  217. 1984-06-09 22:54 TRIP .TYP [TUG,DEK] 25 62720
  218. 1984-07-08 21:12 TRIP .TYP [TUG,DEK] 26 62160
  219. 1984-08-02 21:37 TRIP .TYP [TUG,DEK] 27 62720
  220. 1984-09-21 14:20 TRIP .TYP [TUG,DEK] 28 62160
  221. 1984-10-20 11:57 TRIP .TYP [TUG,DEK] 29 62160
  222. 1984-11-25 15:16 TRIP .TYP [TUG,DEK] 30 62160
  223. 1985-04-18 03:07 TRIP .TYP [TUG,DEK] 31 62160
  224. 1985-08-07 21:03 TRIP .TYP [TUG,DEK] 32 62160
  225. 1982-09-22 20:47 TRIPIN.LOG [TUG,DEK] 1 640
  226. 1982-10-15 15:43 TRIPIN.LOG [TUG,DEK] 2 640
  227. 1982-11-02 05:17 TRIPIN.LOG [TUG,DEK] 3 685
  228. 1982-12-02 23:15 TRIPIN.LOG [TUG,DEK] 4 700
  229. 1983-01-09 19:17 TRIPIN.LOG [TUG,DEK] 5 925
  230. 1983-01-30 23:59 TRIPIN.LOG [TUG,DEK] 6 955
  231. 1983-03-16 20:36 TRIPIN.LOG [TUG,DEK] 7 955
  232. 1983-04-16 00:23 TRIPIN.LOG [TUG,DEK] 8 955
  233. 1983-05-31 22:26 TRIPIN.LOG [TUG,DEK] 9 1230
  234. 1983-06-19 14:57 TRIPIN.LOG [TUG,DEK] 10 2060
  235. 1983-07-27 01:03 TRIPIN.LOG [TUG,DEK] 11 2775
  236. 1983-09-05 13:31 TRIPIN.LOG [TUG,DEK] 12 2775
  237. 1983-09-26 21:40 TRIPIN.LOG [TUG,DEK] 13 2770
  238. 1983-11-10 00:17 TRIPIN.LOG [TUG,DEK] 14 2770
  239. 1984-02-15 22:19 TRIPIN.LOG [TUG,DEK] 15 3200
  240. 1984-03-02 20:19 TRIPIN.LOG [TUG,DEK] 16 2770
  241. 1984-04-12 02:29 TRIPIN.LOG [TUG,DEK] 17 2770
  242. 1984-07-08 20:55 TRIPIN.LOG [TUG,DEK] 18 2770
  243. 1984-08-02 20:35 TRIPIN.LOG [TUG,DEK] 19 3200
  244. 1984-09-21 14:13 TRIPIN.LOG [TUG,DEK] 20 2775
  245. 1984-10-20 11:38 TRIPIN.LOG [TUG,DEK] 21 2780
  246. 1984-11-25 13:54 TRIPIN.LOG [TUG,DEK] 22 2780
  247. 1985-04-18 03:02 TRIPIN.LOG [TUG,DEK] 23 2775
  248. 1985-08-07 20:46 TRIPIN.LOG [TUG,DEK] 24 3200
  249. 1985-10-06 02:21 TRIPMN.TEX [TUG,DEK] 1 25600
  250. 1982-09-14 16:56 TRIPOS.TEX [TUG,DEK] 1 60
  251. 1983-04-12 10:57 TRIPOS.TEX [TUG,DEK] 2 60
  252. 1983-05-29 00:50 TRIPOS.TEX [TUG,DEK] 3 65