#!/bin/bash
cd $TEXMACS_PATH/plugins/lush
echo -ne "\002verbatim:"
cat << EOF
LUSH Lisp Universal Shell (compiled on Jan 20 2004)
   Copyright (C) 2002 Leon Bottou, Yann LeCun, AT&T, NECI.
 Includes parts of TL3:
   Copyright (C) 1987-1999 Leon Bottou and Neuristique.
 Includes selected parts of SN3.2:
   Copyright (C) 1991-2001 AT&T Corp.
This program is free software distributed under the terms
of the GNU Public Licence (GPL) with ABSOLUTELY NO WARRANTY.
Type '(helptool)' for details.
EOF
lush lush/tmlush.lsh
