search

m-fleury / isabelle-emacs

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

use utf-8 without BOM #85

Closed RobinMarchart closed 9 months ago

RobinMarchart commented 9 months ago

This was defaulting newly created buffers to be encoded with utf-8 with BOM. That caused encoding problems with some systems that expect isabelle files to begin with .theory.

m-fleury commented 9 months ago

Thank you very much!