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 69134 a142ec271d83
parent 69129 40df88947850
child 69135 be20f5f6feb9
equal deleted inserted replaced
69133:22fe10b4c0c6 69134:a142ec271d83 
   131 
   131 
   132 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
 
   132 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols"
 
   133 
   133 
   134 
   134 
   135 ###
 
   135 ###
 
       
   136 ### OCaml
 
       
   137 ###
 
       
   138 
       
   139 ISABELLE_OPAM_ROOT="$ISABELLE_HOME_USER/opam"
 
       
   140 
       
   141 
       
   142 ###
 
   136 ### Misc settings
 
   143 ### Misc settings
 
   137 ###
 
   144 ###
 
   138 
   145 
   139 ISABELLE_GNUPLOT="gnuplot"
 
   146 ISABELLE_GNUPLOT="gnuplot"
 
   140 
   147
isabelle