etc/settings
changeset 63688 cc57255bf6ae
parent 63491 58ccbc73a172
child 63871 f745c6e683b7
     1.1 --- a/etc/settings	Sat Aug 13 23:33:58 2016 +0200
     1.2 +++ b/etc/settings	Sat Aug 13 23:45:29 2016 +0200
     1.3 @@ -132,6 +132,8 @@
     1.4  ### Misc settings
     1.5  ###
     1.6  
     1.7 +ISABELLE_GNUPLOT="gnuplot"
     1.8 +
     1.9  #ISABELLE_GHC="/usr/bin/ghc"
    1.10  #ISABELLE_OCAML="/usr/bin/ocaml"
    1.11  #ISABELLE_SWIPL="/usr/bin/swipl"