Re: [isabelle] Isabelle2021-1-RC3: smt (verit) behaves differently under Linux and Windows

On 18/11/2021 13:56, Martin Desharnais wrote:
> The source code is available at the following address.
> And it can now be built and added as default component for both the release
> candidate and the development version.

It is now on for the
next release candidate, to be expected within a few days. (It will come back
to the development repository later.)


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.