equal
deleted
inserted
replaced
8 ## global settings |
8 ## global settings |
9 |
9 |
10 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF" |
10 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF" |
11 |
11 |
12 case $(hostname) in |
12 case $(hostname) in |
|
13 *lapbroy*) |
|
14 export CVSROOT=sunbroy1:/usr/proj/isabelle-repository/archive |
|
15 ;; |
13 *broy*) |
16 *broy*) |
14 export CVSROOT=/usr/proj/isabelle-repository/archive |
17 export CVSROOT=/usr/proj/isabelle-repository/archive |
15 ;; |
18 ;; |
16 *.cl.cam.ac.uk) |
19 *.cl.cam.ac.uk) |
17 export CVSROOT=sunbroy1.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/archive |
20 export CVSROOT=sunbroy1.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/archive |