Wild_Life Interpreter Version +VERSION+ +DATE+
Copyright (C) 1991-93 DEC Paris Research Laboratory
Extensions, Copyright (C) 1994-1995 Intelligent Software Group, SFU
X interface not installed.
name in = ~SETUP
*** Using file name: 'e:\src\plan\life\life-1.02\lf\SETUP'
file = e:\src\plan\life\life-1.02\lf\SETUP
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = +SETUPDIR+/Source/built_ins.lf
*** Using file name: '+SETUPDIR+/Source/built_ins.lf'
file = +SETUPDIR+/Source/built_ins.lf
format = 94ebc file '%s' does not exist.

format2 = 94ebc file '%s' does not exist.

name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = +SETUPDIR+/Source/term_expansion.lf
*** Using file name: '+SETUPDIR+/Source/term_expansion.lf'
file = +SETUPDIR+/Source/term_expansion.lf
format = 94ebc file '%s' does not exist.

format2 = 94ebc file '%s' does not exist.

name in = stdin
*** Using file name: 'stdin'
file = stdin
name in = +SETUPDIR+/Source/onlinedoc.lf
*** Using file name: '+SETUPDIR+/Source/onlinedoc.lf'
file = +SETUPDIR+/Source/onlinedoc.lf
format = 94ebc file '%s' does not exist.

