From: David Christiansen Date: Mon, 1 Aug 2016 13:08:52 +0000 (-0400) Subject: Update README for Emacs mode X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=7c4d2c4272a2f4a184d7ae10bbba035de3e2e47b;p=cubicaltt.git Update README for Emacs mode --- diff --git a/README.md b/README.md index 20121cf..dfe3e5d 100644 --- a/README.md +++ b/README.md @@ -86,11 +86,11 @@ When using cabal sandboxes, `cubical` can be invoked using `cabal exec cubical ` -To enable emacs to edit ```*.ctt``` files in ```ctt-mode```, add the following +To enable emacs to edit ```*.ctt``` files in ```cubicaltt-mode```, add the following line to your ```.emacs``` file: ``` -(autoload 'ctt-mode "cubicaltt" "cubical editing mode" t) -(setq auto-mode-alist (append auto-mode-alist '(("\\.ctt$" . ctt-mode)))) +(autoload 'cubicaltt-mode "cubicaltt" "cubical editing mode" t) +(setq auto-mode-alist (append auto-mode-alist '(("\\.ctt$" . cubicaltt-mode)))) ``` and ensure that the file ```cubicaltt.el``` is visible in one of the diretories on emacs' ```load-path```, or else load it in advance, either manually with @@ -99,10 +99,10 @@ on emacs' ```load-path```, or else load it in advance, either manually with (load-file "cubicaltt.el") ``` -When using `ctt-mode` in Emacs, the command `ctt-load` will launch the +When using `cubicaltt-mode` in Emacs, the command `cubicaltt-load` will launch the interactive toplevel in an Emacs buffer and load the current file. It is bound to `C-c C-l` by default. If `cubical` is not on Emacs's -`exec-path`, then set the variable `ctt-command` to the command that +`exec-path`, then set the variable `cubicaltt-command` to the command that runs it. References and notes