From 260b34e710cf18883f61f30bfcaf4e3823bebc0c Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Thu, 20 Oct 2016 16:43:40 -0400 Subject: [PATCH] add transparent_all to keywords in emacs file --- cubicaltt.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.34.1