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