From f934b974ca1d2a125baee95d244961b31a5f12f6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 22:43:13 +0000
Subject: Missing requires

---
 demoisa/demoisa.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/demoisa/demoisa.el b/demoisa/demoisa.el
index 45c712e7..ffaa21b1 100644
--- a/demoisa/demoisa.el
+++ b/demoisa/demoisa.el
@@ -31,6 +31,8 @@
 ;;
 
 (require 'proof)			; load generic parts
+(require 'pg-goals)
+(require 'pg-response)
 
 
 ;; ======== User settings for Isabelle ========
-- 
cgit v1.2.3