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