Zulip Chat Archive

Stream: general

Topic: Go to definition misses


Bhavik Mehta (Jan 20 2022 at 16:40):

In data/list/prime, line 50, if I use go to definition on dvd_prime_iff_associated, instead of being taken to that definition (or to the definition of rw) I get taken to the definition of pp in core system/io. Is there anything we can do about this sort of issue?


Last updated: Dec 20 2023 at 11:08 UTC