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 76181 d27ed188e0c4
parent 76162 ff92d6edff2c
child 77205 a197d583bf9f
equal deleted inserted replaced
76180:322f2e2799a7 76181:d27ed188e0c4 
   165 
   165 
   166 ISABELLE_GNUPLOT="gnuplot"
 
   166 ISABELLE_GNUPLOT="gnuplot"
 
   167 ISABELLE_FONTFORGE="fontforge"
 
   167 ISABELLE_FONTFORGE="fontforge"
 
   168 
   168 
   169 #ISABELLE_MLTON="/usr/bin/mlton"
 
   169 #ISABELLE_MLTON="/usr/bin/mlton"
 
       
   170 #ISABELLE_MLTON_OPTIONS="-pi-style npi"
 
   170 #ISABELLE_SMLNJ="/usr/bin/sml"
 
   171 #ISABELLE_SMLNJ="/usr/bin/sml"
 
   171 #ISABELLE_SWIPL="/usr/bin/swipl"
 
   172 #ISABELLE_SWIPL="/usr/bin/swipl"
isabelle