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
Call for Papers
formal papers - informal papers - doctoral programme
14th Conference on Intelligent Computer Mathematics
- CICM 2021 -
July 26-31, 2021
Timisoara, Romania
