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/isatest/settings/afp-poly
changeset 57578 f07d0711236c
parent 57572 57932dd40916
child 57585 ce06a901c050
equal deleted inserted replaced
57577:e848a17d9dee 57578:f07d0711236c 
     3 init_components /home/isabelle/contrib "$HOME/admin/components/main"
 
     3 init_components /home/isabelle/contrib "$HOME/admin/components/main"
 
     4 
     4 
     5 # to be retired:
 
     5 # to be retired:
 
     6 # JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0"
 
     6 # JINJATHREADS_OPTIONS="-M 1 -q 0 -p 0"
 
     7 
     7 
     8 ISABELLE_GHC=/opt/local/bin/ghc
 
     8 # ISABELLE_GHC=/opt/local/bin/ghc
 
     9 
     9 
    10 ISABELLE_HOME_USER=~/afp/isabelle-afp-poly
 
    10 ISABELLE_HOME_USER=~/afp/isabelle-afp-poly
 
    11 
    11 
    12 # Where to look for isabelle tools (multiple dirs separated by ':').
 
    12 # Where to look for isabelle tools (multiple dirs separated by ':').
 
    13 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
 
    13 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
isabelle