Hello,
thanks for the replies, Magnus and Thomas. Unfortunately I am already using (electric-indent-mode -1) for SML mode, and it does not seem to fix the problem and I do not want to turn off auto-indent globally. I suspect that this may be due to me using the spacemacs configuration, so I will check whether there is a fix on this site. Cheers, Heiko On 01/26/2017 12:52 PM, Thomas Tuerk wrote: > Hello Heiko, > > I have the same issue. I just deactivated electric indent mode. So, its > not a proper solution, but for me it does the trick. > > (electric-indent-mode -1) > > Best > > Thomas Tuerk > > > On 26.01.2017 09:43, Heiko Becker wrote: >> Hello everyone, >> >> I am currently running into some technical "difficulties" with using HOL4: >> >> I found that the emacs sml-mode binds the return key to >> "newline-and-indent" and I cannot find a way to remove this binding. >> Problem being that emacs keeps indenting my tactic proofs totally weird, >> so I would favour being able to indent only on my own. >> >> So far, I tried deactivating it similar to what worked for removing >> tab-indentation >> >> (setq default-tab-width 4) >> (setq-default indent-tabs-mode nil) >> (global-set-key (kbd "TAB") 'self-insert-command) >> >> by setting >> >> (global-set-key (kbd "RET") 'newline) >> >> >> Unfortunately this does not work. Can someone help me with this issue >> with some elisp? >> >> >> Thanks in advance. >> >> Best regards, >> >> Heiko >> >> >> ------------------------------------------------------------------------------ >> Check out the vibrant tech community on one of the world's most >> engaging tech sites, SlashDot.org! http://sdm.link/slashdot >> _______________________________________________ >> hol-info mailing list >> [email protected] >> https://lists.sourceforge.net/lists/listinfo/hol-info > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, SlashDot.org! http://sdm.link/slashdot > _______________________________________________ > hol-info mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/hol-info ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
