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 63688 cc57255bf6ae
parent 63491 58ccbc73a172
child 63871 f745c6e683b7
equal deleted inserted replaced
63687:1134ee401b20 63688:cc57255bf6ae 
   130 
   130 
   131 ###
 
   131 ###
 
   132 ### Misc settings
 
   132 ### Misc settings
 
   133 ###
 
   133 ###
 
   134 
   134 
       
   135 ISABELLE_GNUPLOT="gnuplot"
 
       
   136 
   135 #ISABELLE_GHC="/usr/bin/ghc"
 
   137 #ISABELLE_GHC="/usr/bin/ghc"
 
   136 #ISABELLE_OCAML="/usr/bin/ocaml"
 
   138 #ISABELLE_OCAML="/usr/bin/ocaml"
 
   137 #ISABELLE_SWIPL="/usr/bin/swipl"
 
   139 #ISABELLE_SWIPL="/usr/bin/swipl"
isabelle