From: Daniel R. Grayson <dan@math.uiuc.edu>
Date: Fri, 23 Oct 2015 15:05:54 +0000 (-0400)
Subject: README...
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=c29ccfcf5e194461896eb08d554c80b067b8224a;p=cubicaltt.git

README...
---

diff --git a/README.md b/README.md
index ae37811..a9180c7 100644
--- a/README.md
+++ b/README.md
@@ -64,6 +64,18 @@ To enable the debugging mode add the -d flag. In the interaction loop
 type :h to get a list of available commands. Note that the current
 directory will be taken as the search path for the imports.
 
+To enable emacs to edit ```*.ctt``` files in ```ctt-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))))
+```
+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
+```M-x load-file```, or with something like the following line in ```.emacs```:
+```
+(load-file "cubicaltt.el")
+```
 
 References and notes
 --------------------
diff --git a/examples/demo.ctt b/examples/demo.ctt
index f01b1b8..f2f8e78 100644
--- a/examples/demo.ctt
+++ b/examples/demo.ctt
@@ -416,3 +416,9 @@ generalize normal inductive types by allowing constructors that define
   - examples/integer.ctt: The integers as a HIT.
 
 -}
+
+{-
+Local Variables:
+compile-command: "echo :q | ../cubical demo.ctt"
+End:
+-}