From: Carlo Angiuli Date: Mon, 6 Nov 2017 21:11:26 +0000 (-0500) Subject: delete 'primitive' keyword from emacs mode X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=a867f3d66172020e30dd0614bd7b50f90b6fddd7;p=cubicaltt.git delete 'primitive' keyword from emacs mode --- diff --git a/cubicaltt.el b/cubicaltt.el index 43dcdd8..9c3fdbe 100644 --- 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