Hi,
With changeset 3214c39777ab, the SMT solvers have been turned into
components.
As a consequence, the now obsolete environment variables
(in settings files) CVC3_SOLVER, YICES_SOLVER, and Z3_SOLVER should be
removed. This only applies if you have used the smt method so before.
Prior to
On 07/01/2011, at 3:59 AM, Makarius wrote:
Bonne année à tous,
this is a reminder that we are approaching the next official Isabelle
release. I've got myself caught into too many other tasks over Christmas
vacation, and will now see how quick we can get a lift off.
If everybody else
On Thu, Jan 6, 2011 at 8:59 AM, Makarius makar...@sketis.net wrote:
If everybody else manages to wrap up until the beginning of next week, we
have a good chance to release before the end of the month.
This sounds good.
I think a release date of January 2011 still justifies to call the release