From 19ede3bd900312cdad624e818fbddc8a5926cf71 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Wed, 14 Sep 2016 16:56:58 -0400 Subject: [PATCH] visible -> transparent --- cubicaltt.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.34.1