[isabelle-dev] popup in ce6320b9ef9b

[Tobias Nipkow]

In more than one example of locale interpretations with "where f = g", where g is a constant, if I hover over the g, the popup shows the type of g twice.

Tobias

smime.p7s
Description: S/MIME Cryptographic Signature

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev