From 27ef24aeea4aae1d0994adc8a5e21d11e488bd0c Mon Sep 17 00:00:00 2001
From: Rui Chen <rui@chenrui.dev>
Date: Tue, 12 Sep 2023 20:49:38 -0400
Subject: [PATCH] isabelle: add `# No zap stanza required`

Signed-off-by: Rui Chen <rui@chenrui.dev>
---
 Casks/i/isabelle.rb | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Casks/i/isabelle.rb b/Casks/i/isabelle.rb
index 70340d4b8c..86690c456b 100644
--- a/Casks/i/isabelle.rb
+++ b/Casks/i/isabelle.rb
@@ -14,4 +14,6 @@ cask "isabelle" do
 
   app "Isabelle#{version}.app"
   binary "#{appdir}/Isabelle#{version}.app/bin/isabelle"
+
+  # No zap stanza required
 end