home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / SOURCE / DJD < prev    next >
Text File  |  1996-06-16  |  7KB  |  309 lines
  1. Wild_Life Interpreter Version +VERSION+ +DATE+
  2. Copyright (C) 1991-93 DEC Paris Research Laboratory
  3. Extensions, Copyright (C) 1994-1995 Intelligent Software Group, SFU
  4. X interface not installed.
  5. name in = ~SETUP
  6. *** Using file name: 'e:\src\plan\life\life-1.02\lf\SETUP'
  7. file = e:\src\plan\life\life-1.02\lf\SETUP
  8. name in = stdin
  9. *** Using file name: 'stdin'
  10. file = stdin
  11. name in = stdin
  12. *** Using file name: 'stdin'
  13. file = stdin
  14. name in = stdin
  15. *** Using file name: 'stdin'
  16. file = stdin
  17. name in = stdin
  18. *** Using file name: 'stdin'
  19. file = stdin
  20. name in = stdin
  21. *** Using file name: 'stdin'
  22. file = stdin
  23. name in = stdin
  24. *** Using file name: 'stdin'
  25. file = stdin
  26. name in = stdin
  27. *** Using file name: 'stdin'
  28. file = stdin
  29. name in = stdin
  30. *** Using file name: 'stdin'
  31. file = stdin
  32. name in = stdin
  33. *** Using file name: 'stdin'
  34. file = stdin
  35. name in = stdin
  36. *** Using file name: 'stdin'
  37. file = stdin
  38. name in = stdin
  39. *** Using file name: 'stdin'
  40. file = stdin
  41. name in = stdin
  42. *** Using file name: 'stdin'
  43. file = stdin
  44. name in = stdin
  45. *** Using file name: 'stdin'
  46. file = stdin
  47. name in = stdin
  48. *** Using file name: 'stdin'
  49. file = stdin
  50. name in = stdin
  51. *** Using file name: 'stdin'
  52. file = stdin
  53. name in = stdin
  54. *** Using file name: 'stdin'
  55. file = stdin
  56. name in = stdin
  57. *** Using file name: 'stdin'
  58. file = stdin
  59. name in = stdin
  60. *** Using file name: 'stdin'
  61. file = stdin
  62. name in = stdin
  63. *** Using file name: 'stdin'
  64. file = stdin
  65. name in = stdin
  66. *** Using file name: 'stdin'
  67. file = stdin
  68. name in = stdin
  69. *** Using file name: 'stdin'
  70. file = stdin
  71. name in = stdin
  72. *** Using file name: 'stdin'
  73. file = stdin
  74. name in = stdin
  75. *** Using file name: 'stdin'
  76. file = stdin
  77. name in = stdin
  78. *** Using file name: 'stdin'
  79. file = stdin
  80. name in = stdin
  81. *** Using file name: 'stdin'
  82. file = stdin
  83. name in = stdin
  84. *** Using file name: 'stdin'
  85. file = stdin
  86. name in = stdin
  87. *** Using file name: 'stdin'
  88. file = stdin
  89. name in = stdin
  90. *** Using file name: 'stdin'
  91. file = stdin
  92. name in = stdin
  93. *** Using file name: 'stdin'
  94. file = stdin
  95. name in = stdin
  96. *** Using file name: 'stdin'
  97. file = stdin
  98. name in = stdin
  99. *** Using file name: 'stdin'
  100. file = stdin
  101. name in = stdin
  102. *** Using file name: 'stdin'
  103. file = stdin
  104. name in = stdin
  105. *** Using file name: 'stdin'
  106. file = stdin
  107. name in = stdin
  108. *** Using file name: 'stdin'
  109. file = stdin
  110. name in = stdin
  111. *** Using file name: 'stdin'
  112. file = stdin
  113. name in = stdin
  114. *** Using file name: 'stdin'
  115. file = stdin
  116. name in = stdin
  117. *** Using file name: 'stdin'
  118. file = stdin
  119. name in = stdin
  120. *** Using file name: 'stdin'
  121. file = stdin
  122. name in = stdin
  123. *** Using file name: 'stdin'
  124. file = stdin
  125. name in = stdin
  126. *** Using file name: 'stdin'
  127. file = stdin
  128. name in = stdin
  129. *** Using file name: 'stdin'
  130. file = stdin
  131. name in = stdin
  132. *** Using file name: 'stdin'
  133. file = stdin
  134. name in = stdin
  135. *** Using file name: 'stdin'
  136. file = stdin
  137. name in = stdin
  138. *** Using file name: 'stdin'
  139. file = stdin
  140. name in = stdin
  141. *** Using file name: 'stdin'
  142. file = stdin
  143. name in = stdin
  144. *** Using file name: 'stdin'
  145. file = stdin
  146. name in = stdin
  147. *** Using file name: 'stdin'
  148. file = stdin
  149. name in = stdin
  150. *** Using file name: 'stdin'
  151. file = stdin
  152. name in = stdin
  153. *** Using file name: 'stdin'
  154. file = stdin
  155. name in = stdin
  156. *** Using file name: 'stdin'
  157. file = stdin
  158. name in = stdin
  159. *** Using file name: 'stdin'
  160. file = stdin
  161. name in = stdin
  162. *** Using file name: 'stdin'
  163. file = stdin
  164. name in = stdin
  165. *** Using file name: 'stdin'
  166. file = stdin
  167. name in = stdin
  168. *** Using file name: 'stdin'
  169. file = stdin
  170. name in = stdin
  171. *** Using file name: 'stdin'
  172. file = stdin
  173. name in = stdin
  174. *** Using file name: 'stdin'
  175. file = stdin
  176. name in = stdin
  177. *** Using file name: 'stdin'
  178. file = stdin
  179. name in = stdin
  180. *** Using file name: 'stdin'
  181. file = stdin
  182. name in = stdin
  183. *** Using file name: 'stdin'
  184. file = stdin
  185. name in = stdin
  186. *** Using file name: 'stdin'
  187. file = stdin
  188. name in = stdin
  189. *** Using file name: 'stdin'
  190. file = stdin
  191. name in = stdin
  192. *** Using file name: 'stdin'
  193. file = stdin
  194. name in = stdin
  195. *** Using file name: 'stdin'
  196. file = stdin
  197. name in = stdin
  198. *** Using file name: 'stdin'
  199. file = stdin
  200. name in = stdin
  201. *** Using file name: 'stdin'
  202. file = stdin
  203. name in = stdin
  204. *** Using file name: 'stdin'
  205. file = stdin
  206. name in = stdin
  207. *** Using file name: 'stdin'
  208. file = stdin
  209. name in = stdin
  210. *** Using file name: 'stdin'
  211. file = stdin
  212. name in = stdin
  213. *** Using file name: 'stdin'
  214. file = stdin
  215. name in = stdin
  216. *** Using file name: 'stdin'
  217. file = stdin
  218. name in = stdin
  219. *** Using file name: 'stdin'
  220. file = stdin
  221. name in = stdin
  222. *** Using file name: 'stdin'
  223. file = stdin
  224. name in = stdin
  225. *** Using file name: 'stdin'
  226. file = stdin
  227. name in = stdin
  228. *** Using file name: 'stdin'
  229. file = stdin
  230. name in = stdin
  231. *** Using file name: 'stdin'
  232. file = stdin
  233. name in = stdin
  234. *** Using file name: 'stdin'
  235. file = stdin
  236. name in = stdin
  237. *** Using file name: 'stdin'
  238. file = stdin
  239. name in = stdin
  240. *** Using file name: 'stdin'
  241. file = stdin
  242. name in = stdin
  243. *** Using file name: 'stdin'
  244. file = stdin
  245. name in = stdin
  246. *** Using file name: 'stdin'
  247. file = stdin
  248. name in = stdin
  249. *** Using file name: 'stdin'
  250. file = stdin
  251. name in = stdin
  252. *** Using file name: 'stdin'
  253. file = stdin
  254. name in = stdin
  255. *** Using file name: 'stdin'
  256. file = stdin
  257. name in = stdin
  258. *** Using file name: 'stdin'
  259. file = stdin
  260. name in = stdin
  261. *** Using file name: 'stdin'
  262. file = stdin
  263. name in = stdin
  264. *** Using file name: 'stdin'
  265. file = stdin
  266. name in = stdin
  267. *** Using file name: 'stdin'
  268. file = stdin
  269. name in = stdin
  270. *** Using file name: 'stdin'
  271. file = stdin
  272. name in = stdin
  273. *** Using file name: 'stdin'
  274. file = stdin
  275. name in = stdin
  276. *** Using file name: 'stdin'
  277. file = stdin
  278. name in = stdin
  279. *** Using file name: 'stdin'
  280. file = stdin
  281. name in = stdin
  282. *** Using file name: 'stdin'
  283. file = stdin
  284. name in = +SETUPDIR+/Source/built_ins.lf
  285. *** Using file name: '+SETUPDIR+/Source/built_ins.lf'
  286. file = +SETUPDIR+/Source/built_ins.lf
  287. format = 94ebc file '%s' does not exist.
  288.  
  289. format2 = 94ebc file '%s' does not exist.
  290.  
  291. name in = stdin
  292. *** Using file name: 'stdin'
  293. file = stdin
  294. name in = +SETUPDIR+/Source/term_expansion.lf
  295. *** Using file name: '+SETUPDIR+/Source/term_expansion.lf'
  296. file = +SETUPDIR+/Source/term_expansion.lf
  297. format = 94ebc file '%s' does not exist.
  298.  
  299. format2 = 94ebc file '%s' does not exist.
  300.  
  301. name in = stdin
  302. *** Using file name: 'stdin'
  303. file = stdin
  304. name in = +SETUPDIR+/Source/onlinedoc.lf
  305. *** Using file name: '+SETUPDIR+/Source/onlinedoc.lf'
  306. file = +SETUPDIR+/Source/onlinedoc.lf
  307. format = 94ebc file '%s' does not exist.
  308.  
  309.