[isabelle] Isabelle2019-RC2 Find Theorems tooltip



A minor issue: The tooltip in the Find Theorems panel ("Search criteria for find operation, e.g., ...") still mentions "op +" and not "(+)".

Fabian

On 5/11/2019 7:30 PM, Makarius wrote:
Dear Isabelle users,

we are getting one step closer to the Isabelle2019 release, which is
ultimately scheduled for the first half of June 2019.

The consolidated release candidate Isabelle2019-RC2 is now available
from https://isabelle.in.tum.de/website-Isabelle2019-RC2 -- it
corresponds to AFP version
https://isabelle.sketis.net/repos/afp-devel/rev/2170a6647f04

The blog entry
https://sketis.net/2019/release-candidates-for-isabelle2019 is
continuously updated to follow the release process.


Everything is ready and pretty stable. We need more serious testing to
produce counter-examples to this claim.

When discussing release candidates, please provide a mail Subject line
that fits to the content, not just a clone of the announcement.


	Makarius


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



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