From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Thu, 20 Oct 2016 20:43:40 +0000 (-0400)
Subject: add transparent_all to keywords in emacs file
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=260b34e710cf18883f61f30bfcaf4e3823bebc0c;p=cubicaltt.git

add transparent_all to keywords in emacs file
---

diff --git a/cubicaltt.el b/cubicaltt.el
index 9baefe0..a0a9198 100644
--- a/cubicaltt.el
+++ b/cubicaltt.el
@@ -55,7 +55,7 @@
 
 (defvar cubicaltt-keywords
   '("hdata" "data" "import" "mutual" "let" "in" "split"
-    "with" "module" "where" "U" "opaque" "transparent")
+    "with" "module" "where" "U" "opaque" "transparent" "transparent_all")
   "Keywords for cubical.")
 
 (defvar cubicaltt-special