projects / cubicaltt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5743434)
delete 'primitive' keyword from emacs mode
authorCarlo Angiuli <carlo@carloangiuli.com>
Mon, 6 Nov 2017 21:11:26 +0000 (16:11 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Wed, 8 Nov 2017 14:02:23 +0000 (09:02 -0500)
cubicaltt.el patch | blob | blame | history

diff --git a/cubicaltt.el b/cubicaltt.el
index 43dcdd83b22171657a1253c2426aea3e5185e821..9c3fdbe646cc10113093de0c9d3fdd2ff4818da8 100644 (file)
--- a/cubicaltt.el
+++ b/cubicaltt.el
@@ -63,7 +63,7 @@
   "Operations for cubical.")
 
 (defvar cubicaltt-special
-  '("undefined" "primitive")
+  '("undefined")
   "Special operators for cubical.")
 
 (defvar cubicaltt-keywords-regexp
My fork of cubicaltt with web interface using Reflex.