On 27 January 2017 at 09:12, Thomas Tuerk wrote:
> Hello,
>
> many thanks. That does the trick and is much nicer than my hack.
>
> @Magnus Myreen: Do you think this is worth adding to the HOL Interaction
> manual?
Definitely! I've updated the HOL Interaction manual:
Hello,
thanks for looking into this issue. It works perfectly fine now.
On 01/26/2017 10:25 PM, Chun Tian (binghe) wrote:
> I took a look into sml-mode.el and the documentation [1], it seems that the
> following Emacs configuration could disable the auto-indent triggered by
> return key:
>
>
Hello,
many thanks. That does the trick and is much nicer than my hack.
@Magnus Myreen: Do you think this is worth adding to the HOL Interaction
manual?
Thank you,
Thomas Tuerk
On 26.01.2017 22:25, Chun Tian (binghe) wrote:
> I took a look into sml-mode.el and the documentation [1], it seems
I took a look into sml-mode.el and the documentation [1], it seems that the
following Emacs configuration could disable the auto-indent triggered by return
key:
(defun my-sml-mode-hook ()
"Local defaults for SML mode"
(setq electric-indent-chars '()))
(add-hook 'sml-mode-hook
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
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