Hi Abbassi, create a file with name "init.el" inside the .emacs.d folder and then put the code in it. It will work.
On Fri, Oct 16, 2015 at 7:46 PM, Ali Abbassi <[email protected]> wrote: > 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 > -- Thanks and best regards, Waqar Ahmed Ph.D Candidate, School of Electrical Engineering and Computer Science (SEECS), National University of Science and Technology (NUST), H-12, Islamabad, Pakistan
------------------------------------------------------------------------------
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
