From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Wed, 14 Sep 2016 20:56:58 +0000 (-0400)
Subject: visible -> transparent
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=19ede3bd900312cdad624e818fbddc8a5926cf71;p=cubicaltt.git

visible -> transparent
---

diff --git a/cubicaltt.el b/cubicaltt.el
index 9e629a9..9baefe0 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" "visible")
+    "with" "module" "where" "U" "opaque" "transparent")
   "Keywords for cubical.")
 
 (defvar cubicaltt-special