Am 04.12.2012 um 15:29 schrieb Makarius: > The question which SMT/Z3 version to ship with the release basically has time > until the new year.
I'm a big fan of "if it ain't broken don't fix it", so let's defaut on 3.2, and in the unlikely event that both the parser issue with 4.0 and "rewr_conv" are resolved in time, we can reconsider. Incidentally, Z3 is now at version 4.3, which I haven't tried to package yet. Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
