From 5d06272e19e2c77cf5526b6f04272309a4ba5de5 Mon Sep 17 00:00:00 2001
From: Sameer Rahmani <lxsameer@gnu.org>
Date: Thu, 8 Feb 2024 21:17:38 +0000
Subject: [PATCH] Disable the agda cube by default

---
 core/cubes/proof.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/cubes/proof.el b/core/cubes/proof.el
index 1ca110f..8fe9b24 100644
--- a/core/cubes/proof.el
+++ b/core/cubes/proof.el
@@ -29,7 +29,7 @@
 (defcube fg42/proof-general-cube
   "Integrate Proof General with Fg42"
   :title "Proof General cube"
-  :flag-default t
+  :flag-default nil
   :flag proof-general
 
   (fpkg/use proof-general)