From 31c3fbca4796100b875d1036ef26603864ddd96e Mon Sep 17 00:00:00 2001
From: David Raymond Christiansen <david@davidchristiansen.dk>
Date: Tue, 26 Jul 2016 11:39:50 -0400
Subject: [PATCH] Improve the display of Emacs customize

The customization options in Emacs are now shown with friendlier names.
---
 cubicaltt.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/cubicaltt.el b/cubicaltt.el
index 26b81ed..5ad435f 100644
--- a/cubicaltt.el
+++ b/cubicaltt.el
@@ -39,12 +39,16 @@
 
 ;;;; Customization options
 
-(defgroup ctt nil "Options for ctt-mode for cubical type theory" :group 'languages)
+(defgroup ctt nil "Options for ctt-mode for cubical type theory"
+  :group 'languages
+  :prefix 'ctt-
+  :tag "Cubical type theory")
 
 (defcustom ctt-command "cubical"
   "The command to be run for cubical."
   :group 'ctt
   :type 'string
+  :tag "Command for cubical"
   :options '("cubical" "cabal exec cubical"))
 
 ;;;; Syntax
-- 
2.34.1