search

m-fleury / isabelle-emacs

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

Support of `-d` #71

Closed m-fleury closed 1 year ago

m-fleury commented 1 year ago

It would be nice to pass options to isabelle via --isabelle-d.

m-fleury commented 1 year ago

Remark that this requires to use the package lsp-isar-parse-args. It also supports the --noisabelleoption to not start isabelle and just get the default syntax highlighting and symbols.