Skip to content

Function "visit-tags-or-die" should not rely on "visit-tags-table" return value (patch attached) #4

@litvindev

Description

@litvindev

0001-Fixed-visit-tags-or-die-should-not-rely-on-visit-tag.txt

Due to this error, the functions like "mizar-show-ref" do not work.
And users have to patch it manually after each Mizar installation.

Emacs version: 26.1

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions