Quoting "Norrish, Michael (Data61, Acton)" <michael.norr...@data61.csiro.au>:
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 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:17, "Elif Deniz" <e_de...@encs.concordia.ca> wrote:
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, when I run HOL4 in emacs, I got above
notification.
Could anyone help me please how can I fix this problem?
Thanks in advance!
Sincerest appreciation,
Elif
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
