#!/bin/bash

export CLASS_DIR=.
export HELM_STYLES_DIR=/usr/local/share/helm/style
export PATH=/opt/java/jdk1.3/bin/:$PATH
export CLASSPATH=.
export CLASSPATH=/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar:$CLASSPATH
export CLASSPATH=/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar:$CLASSPATH

cd $CLASS_DIR &&
java -ss1024K -oss8192K \
 xaland 12345 12346 \
 $HELM_STYLES_DIR/rootcontent.xsl \
 $HELM_STYLES_DIR/annotatedpres.xsl \
 $HELM_STYLES_DIR/theory_content.xsl \
 $HELM_STYLES_DIR/theory_pres.xsl