From 521cec742b50494e8f2df4b22e6ef2c65615563a Mon Sep 17 00:00:00 2001
From: Roland Walker <walker@pobox.com>
Date: Thu, 13 Nov 2014 12:26:07 -0500
Subject: [PATCH] new-style header in isabelle

---
 Casks/isabelle.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Casks/isabelle.rb b/Casks/isabelle.rb
index 0b96814479d..626eb6a8c6f 100644
--- a/Casks/isabelle.rb
+++ b/Casks/isabelle.rb
@@ -1,4 +1,4 @@
-class Isabelle < Cask
+cask :v1 => 'isabelle' do
   version '2014'
   sha256 'e4a4b5f454d6cb24d5ef7271adc54e9fa7109addda8c6707bd7414b4d4061a23'