Emacs theme support

[cdrichards]

Would it move anyone's cheese if I made twelf-mode.el play nicer with Emacs themes?

If not, a follow-up question. Does the project target a minimum required Emacs version, or does it attempt compatibility with all Emacs versions since its inception? I assume the latter but want to confirm.

[frankpfenning]

Whatever you can do to improve it would be great! It was a one-shot effort I made many years ago (around the time Twelf was first released, maybe 1999). Honestly, I am surprised the Emacs mode works at all at this point :-)

…

On Thu, May 7, 2026 at 10:02 AM Christina Richards ***@***.***> wrote: Would it move anyone's cheese if I made twelf-mode.el play nicer with Emacs themes? If not, a follow-up question. Does the project target a minimum required Emacs version, or does it attempt compatibility with all Emacs versions since its inception? I assume the latter but want to confirm. — Reply to this email directly, view it on GitHub <#89>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAHKJ7MN5S5YYAZZVEKAXR34ZSJO7AVCNFSM6AAAAACYUUZWYCVHI2DSMVQWIX3LMV43GRDJONRXK43TNFXW4OZRGAYDCOBTGA3Q> . Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

-- Frank Pfenning, Professor Computer Science Department Carnegie Mellon University Pittsburgh, PA 15213-3891 http://www.cs.cmu.edu/~fp https://cmu.zoom.us/my/fpfenning +1 412 268-6343 GHC 6017

[wizard7377]

Just a quick note. I am currently working on modernizing a lot of this project (including editor support) among other things (some syntax, a working REPL, and porting it to OCaml) #82 #88 . Just thought it might be interesting (also I've never dealt with the Emacs internals so when I get to that might need some help).

On a completely separate note (not related to my project), it would also be nice if Twelf was on MELPA.
Best,
Asher