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.
etc/settings
changeset 69147 6f4d561ea621
parent 69135 be20f5f6feb9
child 69151 b310bc57f55f
equal deleted inserted replaced
69146:0b0680016187 69147:6f4d561ea621 
   140 
   140 
   141 ISABELLE_OCAML_VERSION="4.05.0"
 
   141 ISABELLE_OCAML_VERSION="4.05.0"
 
   142 
   142 
   143 
   143 
   144 ###
 
   144 ###
 
       
   145 ### Haskell
 
       
   146 ###
 
       
   147 
       
   148 ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack"
 
       
   149 
       
   150 
       
   151 ###
 
   145 ### Misc settings
 
   152 ### Misc settings
 
   146 ###
 
   153 ###
 
   147 
   154 
   148 ISABELLE_GNUPLOT="gnuplot"
 
   155 ISABELLE_GNUPLOT="gnuplot"
 
   149 
   156
isabelle