search

m-fleury / isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches
Other
25 stars 5 forks source link

broken symbol replacement #67

Closed m-fleury closed 2 years ago

m-fleury commented 2 years ago

The regexp 

                  (lsp-isar-output-replace-regexp-all-occs "\\\\<\\(\\w*\\)>" "|Symbol=\\1|")

does not work for symbols like \<J> (probably due to the >.

Bug identified by @gh-salt.