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: Mar 29 2024 at 04:18 UTC