Re: [Hol-info] HOL4-Emacs Problem
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 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" 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
Re: [Hol-info] HOL4-Emacs Problem
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" 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
[Hol-info] HOL4-Emacs Problem
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