Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/makedist
changeset 47862 d9a09f965dab
parent 47739 19b914b7ac23
child 47887 4e9c06c194d9
equal deleted inserted replaced
47861:c7144da6abfb 47862:d9a09f965dab 
     2 #
 
     2 #
 
     3 # makedist -- make Isabelle source distribution
 
     3 # makedist -- make Isabelle source distribution
 
     4 
     4 
     5 ## global settings
 
     5 ## global settings
 
     6 
     6 
     7 REPOS_NAME="isabelle"
 
     7 REPOS_NAME="isabelle-release"
 
     8 REPOS="${REPOS:-http://isabelle.in.tum.de/repos/${REPOS_NAME}}"
 
     8 REPOS="${REPOS:-http://isabelle.in.tum.de/repos/${REPOS_NAME}}"
 
     9 DISTPREFIX="${DISTPREFIX:-$HOME/tmp/isadist}"
 
     9 DISTPREFIX="${DISTPREFIX:-$HOME/tmp/isadist}"
 
    10 
    10 
    11 umask 022
 
    11 umask 022
 
    12 
    12
isabelle