Admin/makedist
changeset 7993 4d176363e39a
parent 7859 c67eb6ed6a87
child 8059 9128e934bf51
equal deleted inserted replaced
7992:6f49fe89bfe1 7993:4d176363e39a
     5 # makedist -- make Isabelle distribution.
     5 # makedist -- make Isabelle distribution.
     6 
     6 
     7 
     7 
     8 ## global settings
     8 ## global settings
     9 
     9 
    10 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL Tools ZF"
    10 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
    11 
    11 
    12 CVSROOT=/usr/proj/isabelle-repository/archive
    12 CVSROOT=/usr/proj/isabelle-repository/archive
    13 DISTBASE=~/tmp/isadist
    13 DISTBASE=~/tmp/isadist
    14 
    14 
    15 
    15