intellij-frege icon indicating copy to clipboard operation
intellij-frege copied to clipboard

Published 20 hours ago • verified publisher icon IntelliJ-Frege

Names sometimes are not shown in `go to instances` annotation

Open kkarnauk opened this issue 3 years ago • 0 comments

image

It's a problem that [] is not a name.

kkarnauk avatar Aug 24 '21 15:08 kkarnauk