Re: [isabelle] Isabelle2019-RC2 Find Theorems tooltip



On 13/05/2019 15:20, Fabian Immler wrote:
> A minor issue: The tooltip in the Find Theorems panel ("Search criteria
> for find operation, e.g., ...") still mentions "op +" and not "(+)".

OK, I will amend this for the next release candidate.


	Makarius





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