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 15331 3e85549f25f5
parent 15284 f14c6c057172
child 15501 59ebd778718c
equal deleted inserted replaced
15330:630981482718 15331:3e85549f25f5 
   222 #MUCKE_HOME=/usr/local/bin
 
   222 #MUCKE_HOME=/usr/local/bin
 
   223 
   223 
   224 # Einhoven model checker
 
   224 # Einhoven model checker
 
   225 #EINDHOVEN_HOME=/usr/local/bin
 
   225 #EINDHOVEN_HOME=/usr/local/bin
 
   226 
   226 
   227 # ZChaff, Version 2004.05.13 (SAT Solver)
 
   227 # zChaff (SAT Solver)
 
   228 #ZCHAFF_HOME=/usr/local/bin
 
   228 #ZCHAFF_HOME=/usr/local/bin
 
       
   229 #ZCHAFF_VERSION=2004.5.13
 
       
   230 #ZCHAFF_VERSION=2004.11.15
 
   229 
   231 
   230 # BerkMin561 (SAT Solver)
 
   232 # BerkMin561 (SAT Solver)
 
   231 #BERKMIN_HOME=/usr/local/bin
 
   233 #BERKMIN_HOME=/usr/local/bin
 
   232 #BERKMIN_EXE=BerkMin561-linux
 
   234 #BERKMIN_EXE=BerkMin561-linux
 
   233 #BERKMIN_EXE=BerkMin561-solaris
 
   235 #BERKMIN_EXE=BerkMin561-solaris
isabelle