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
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:
Dear all,
I have a problem while using emacs after installation HOL4 as following:
"Symbol's function definition is void: if let*"
When I want to run HOL4 (polyml5.7.1 or polyml5.8.1, kananaskis-13 or
kananaskis-14) on Ubuntu 16 or Ubuntu 18 which is already all
correctly installed. But, w
