Re: [Hol-info] HOL4-Emacs Problem

2021-03-17 Thread Elif Deniz
Quoting "Norrish, Michael (Data61, Acton)" : Hi Michael, Thank you for your response. The old one was emacs 24. Installing emacs 26.3. solved the issue. I really appreciate it. Regards, Elif Your version of emacs is too old. (The code certainly works on emacs 26.3.) Can you report what

Re: [Hol-info] HOL4-Emacs Problem

2021-03-16 Thread Norrish, Michael (Data61, Acton)
Your version of emacs is too old. (The code certainly works on emacs 26.3.) Can you report what you get when you do a M-x emacs-version so I can try to adjust the elisp code to cope with older versions? Alternatively, try sudo apt install emacs26 Best wishes, Michael On 17/3/21, 09: