add transparent_all to keywords in emacs file

diff --git a/cubicaltt.el b/cubicaltt.el
index 9baefe05dea73040ebff0cf257cef430c60d84af..a0a9198ebb994aabd919d351a65539486a39ac04 100644 (file)
--- 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