diff options
| author | David Aspinall | 2009-09-10 22:43:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-10 22:43:13 +0000 |
| commit | f934b974ca1d2a125baee95d244961b31a5f12f6 (patch) | |
| tree | abeb05d13699227d3c00bee06d5a2e59770e84ac | |
| parent | 2619c37de783a302004e0c86ea1d3ed7343694f4 (diff) | |
Missing requires
| -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 ======== |