#!/bin/csh
################################################################
## Copyright (C) 1996 Joergen Backelin
##
## Bergman is distributed in the hope that it will be useful,
## but WITHOUT ANY WARRANTY.  No author or distributor
## accepts responsibility to anyone for the consequences of using it
## or for whether it serves any particular purpose or works at all,
## unless (s)he says so in writing.  Refer to the Bergman General
## Public License for full details.

## Everyone is granted permission to copy, modify and redistribute
## bergman, but only under the conditions described in the
## Bergman General Public License.   A copy of this license is
## supposed to have been given to you along with bergman so you
## can know your rights and responsibilities.  It should be in a
## file named copyright.  Among other things, the copyright notice
## and this notice must be preserved on all copies.
################################################################
source /home/guestjba/bergman9885/bin/Red/linux/shellenv
exec /home/guestjba/reduce64/64/lisp/psl/linux/psl/bpsl -td 1000000000 -f /home/guestjba/bergman9885/bin/Red/linux/bergman.img
#exec /home/guestjba/bergman9885/bin/Red/linux/bergman
