Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2019-RC2 Find Theorems tooltip

view this post on Zulip Email Gateway (Aug 22 2022 at 19:50):

From: Fabian Immler <immler@in.tum.de>
A minor issue: The tooltip in the Find Theorems panel ("Search criteria
for find operation, e.g., ...") still mentions "op +" and not "(+)".

Fabian
smime.p7s

view this post on Zulip Email Gateway (Aug 22 2022 at 19:50):

From: Makarius <makarius@sketis.net>
OK, I will amend this for the next release candidate.

Makarius

Last updated: Feb 01 2025 at 20:19 UTC