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.
configure
changeset 10511 efb3428c9879
parent 10077 0261aede52ca
child 14981 e73f8140af78
equal deleted inserted replaced
10510:d243553849ec 10511:efb3428c9879 
     6 #
 
     6 #
 
     7 # configure - adapt Isabelle distribution to system environment
 
     7 # configure - adapt Isabelle distribution to system environment
 
     8 
     8 
     9 ## patch scripts
 
     9 ## patch scripts
 
    10 
    10 
    11 cd `dirname "$0"`
 
    11 cd "`dirname "$0"`"
 
    12 
    12 
    13 if bash -c :
 
    13 if bash -c :
 
    14 then
 
    14 then
 
    15   bash lib/scripts/patch-scripts.bash
 
    15   bash lib/scripts/patch-scripts.bash
 
    16 else
 
    16 else
isabelle