diff options
| -rw-r--r-- | demoisa/demoisa.el | 2 |
1 files changed, 2 insertions, 0 deletions
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 ======== |