Hello, I am trying to use emacs as the editor for the hol 4. I found a file ".emacs.d" in my home directory on my ubuntu, but when I changed it and typed the command "load <hol-path>/tools/hol-mode", nothing happened. (M-h h does not work). I am not sure whether I found the file or changed it correctly or not however. I would appreciate if you could help me by giving hints to find and change the file.
Thank you in advance. ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
