]> matita.cs.unibo.it Git - helm.git/blob - helm/xsltd/start-xaland.in
added override for \circ (notation for function composition)
[helm.git] / helm / xsltd / start-xaland.in
1 #!/bin/bash
2
3 # Copyright (C) 2000, HELM Team.
4
5 # This file is part of HELM, an Hypertextual, Electronic
6 # Library of Mathematics, developed at the Computer Science
7 # Department, University of Bologna, Italy.
8
9 # HELM is free software; you can redistribute it and/or
10 # modify it under the terms of the GNU General Public License
11 # as published by the Free Software Foundation; either version 2
12 # of the License, or (at your option) any later version.
13
14 # HELM is distributed in the hope that it will be useful,
15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17 # GNU General Public License for more details.
18
19 # You should have received a copy of the GNU General Public License
20 # along with HELM; if not, write to the Free Software
21 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
22
23 # For details, see the HELM World-Wide-Web page,
24 # http://cs.unibo.it/helm/.
25
26 ##########################################################################
27 #        BEGIN OF THE PART TO CONFIGURE BEFORE USING THE SCRIPT          #
28 ##########################################################################
29
30 # In the next line you have to set the path to the jdk1.3
31 export PATH=/opt/java/jdk1.3/bin/:$PATH
32
33 # In the next line you have to give the classpath to the 1.1 version of
34 # xalan.jar
35 export CLASSPATH1=/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar
36
37 # In the next line you have to give the classpath to the 1.1 version of
38 # xerces.jar
39 export CLASSPATH2=/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar
40
41 ##########################################################################
42 #                   END OF THE PART TO CONFIGURE                         #
43 ##########################################################################
44
45 export CLASSPATH=$CLASSPATH1:$CLASSPATH2:$CLASSPATH:.
46 export CLASS_DIR=@HELM_LIB_DIR@
47 export HELM_STYLE_DIR=@HELM_STYLE_DIR@
48
49 cd $CLASS_DIR &&
50 java -ss1024K -oss8192K \
51  xaland 12345 12346 \
52  $HELM_STYLE_DIR/rootcontent.xsl \
53  $HELM_STYLE_DIR/annotatedpres.xsl \
54  $HELM_STYLE_DIR/theory_content.xsl \
55  $HELM_STYLE_DIR/theory_pres.xsl