[isabelle-dev] SMT solvers at the TUM server

Sascha Boehme boehmes at in.tum.de
Mon Jan 17 18:01:43 CET 2011

Previous message (by thread): [isabelle-dev] erroneous "Legacy feature" warnings about secondary search path
Next message (by thread): [isabelle-dev] Fwd: [isabelle] list_to_set_comprehension bug ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

To all of you who already copied the SMT solvers (CVC3, Yices, or Z3)
from the TUM server: Please copy the files again, as I have just
updated them in connection with changeset fda8511006f9.  Sorry for the
inconvenience.

Sascha

Previous message (by thread): [isabelle-dev] erroneous "Legacy feature" warnings about secondary search path
Next message (by thread): [isabelle-dev] Fwd: [isabelle] list_to_set_comprehension bug ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list