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.
> 
> https://verit.loria.fr/download/2021.06.2/verit-2021.06.2-rmx.tar.gz
> 
> And it can now be built and added as default component for both the release
> candidate and the development version.

It is now on
https://isabelle.sketis.net/repos/isabelle-release/rev/ed3adabf0dbe for the
next release candidate, to be expected within a few days. (It will come back
to the development repository later.)


	Makarius




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