equal
deleted
inserted
replaced
5 ## global environment |
5 ## global environment |
6 |
6 |
7 #paranoia setting for sunbroy |
7 #paranoia setting for sunbroy |
8 PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH" |
8 PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH" |
9 |
9 |
10 PATH="/home/scala/scala/bin:$PATH" |
10 PATH="/home/scala/current/bin:$PATH" |
11 |
11 |
12 |
12 |
13 ## directory layout |
13 ## directory layout |
14 |
14 |
15 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" |
15 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" |